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