ecavallo.net [email protected]
Göteborgs universitet
Evan Cavallo
Experimental type-checker for internally parametric type theory
ecavallo