Giters

haoming-li-ling / agda-arithmetic

Arithmetic implementation in Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agda-arithmetic

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

About

Arithmetic implementation in Agda

Languages

Language:Agda 100.0%