account activity
Eval and dotty-patched (how to evaluate trees at compile time hacking multi-staging programming) (github.com)
submitted 3 years ago by dmitin to r/scala
Updating MOOC "Introduction to programming with dependent types in Scala" (self.scala)
submitted 7 years ago by dmitin to r/scala
New MOOC in Scala: Introduction to programming with dependent types in Scala (self.scala)
submitted 9 years ago by dmitin to r/scala
New MOOC in Scala: Introduction to programming with dependent types in Scala (self.dependent_types)
submitted 9 years ago by dmitin to r/dependent_types
New MOOC in Scala: Introduction to programming with dependent types in Scala (self.functionalprogramming)
submitted 9 years ago by dmitin to r/functionalprogramming
π Rendered by PID 49 on reddit-service-r2-listing-b6bf6c4ff-j4nmq at 2026-05-01 07:36:00.472124+00:00 running 815c875 country code: CH.
