tarao / lambda-scala3

Type-level lambda calculus in Scala 3
12Updated last year

Related projects: