Lambda vs Cedille

CedilleLambda
Stars30529
Downloads
Dependent Packages5
Dependent Repos1
Most Recent Commit3 years ago2 years ago
Total Releases62
Latest ReleaseJanuary 26, 2022
Open Issues46
Licenseothermit
Programming LanguageAgdaJavaScript