Scheme/J like language with built in modular arithmetic
Primary LanguageIdris
No issues in this repository yet.