agda-arithmetic

Arithmetic implementation in Agda, for UChicago CMSC 22500 2021 Spring.

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
.gitignore		.gitignore
README.md		README.md
arithmetic.agda		arithmetic.agda
basicarithmetic.agda		basicarithmetic.agda

Provide feedback