Category Theory in Agda
Primary LanguageAgdaMIT LicenseMIT
https://myuon.github.io/agda-cate/Everything.html