/agda-T-canonicity-dist

Mini project 3 for 15814 F22

Primary LanguageAgda

No issues in this repository yet.