Using the techniques of denotational design for modular arithmetic
Primary LanguageAgda
No issues in this repository yet.