ecavallo/ptt

Experimental type-checker for internally parametric type theory

OCamlNOASSERTION