/jmod

Scheme/J like language with built in modular arithmetic

Primary LanguageIdris

Watchers