Using the techniques of denotational design for modular arithmetic
Primary LanguageAgda
This repository is not active