/nano-Agda

Tiny type-checker with dependent types

Primary LanguageHaskellOtherNOASSERTION

Watchers