Skip to content

tarao/lambda-scala3

Error
Looks like something went wrong!

About

Type-level lambda calculus in Scala 3

Topics

Resources

License

Stars

Watchers

Forks

Languages