1 result found Sort:

HigherOrderCO
Kind1 HigherOrderCO
141
3.5k
mit
74
A next-gen functional language
moonad formality type-theory proof-language theorem-prover dependent-types lambda-calculus proof-languages functional-programming
Created 2018-07-13
620 commits to master branch, last one a day ago