/finally-tagless-dotty

An exploratory toy project looking at how the dotty language features interact with developing tagless encodings

Primary LanguageScala

No issues in this repository yet.