Categories parametrized by morphism equality, in Agda
Primary LanguageAgdaOtherNOASSERTION
No issues in this repository yet.