/agda-cate

Category Theory in Agda

Primary LanguageAgdaMIT LicenseMIT