Reinterpreting Idris syntax in multiple contexts
Primary LanguageIdrisOtherNOASSERTION
No issues in this repository yet.