/agda-T-canonicity-dist

Mini project 3 for 15814 F22

Primary LanguageAgda

Stargazers

No one’s star this repository yet.