/tagless-dotty

Typed Tagless Final Interpreters (the lecture) but with Scala 3

Primary LanguageScala

Stargazers