Tiny type-checker with dependent types
Primary LanguageHaskellOtherNOASSERTION
No issues in this repository yet.