/sixty

Dependent type checker using normalisation by evaluation

Primary LanguageHaskellOtherNOASSERTION

Stargazers