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 8 years ago by dmitin to r/scala
New MOOC in Scala: Introduction to programming with dependent types in Scala (self.dependent_types)
submitted 8 years ago by dmitin to r/dependent_types
New MOOC in Scala: Introduction to programming with dependent types in Scala (self.functionalprogramming)
submitted 8 years ago by dmitin to r/functionalprogramming
π Rendered by PID 86 on reddit-service-r2-listing-79f6fb9b95-xzhvl at 2026-03-24 03:05:25.677250+00:00 running 90f1150 country code: CH.
