AtticusKuhn / modularArithmetic

Using the techniques of denotational design for modular arithmetic

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Using the techniques of denotational design for modular arithmetic


Languages

Language:Agda 100.0%