/agda-category-theory

I am using Agda to formalise category theory

Primary LanguageAgda

Watchers