Experimental type-checker for internally parametric type theory
Primary LanguageOCamlOtherNOASSERTION
No issues in this repository yet.