tarao / lambda-scala3View on GitHub
Type-level lambda calculus in Scala 3
☆13Oct 11, 2022Updated 3 years ago

Alternatives and similar repositories for lambda-scala3

Users that are interested in lambda-scala3 are comparing it to the libraries listed below

Sorting:

Are these results useful?