GitHub - tarao/lambda-scala3: Type-level lambda calculus in Scala 3

Type-level lambda calculus in Scala 3. Contribute to tarao/lambda-scala3 development by creating an account on GitHub.
github.com github.com