GitHub repository: JacquesCarette/categories
Primary language: Agda
Description: Categories parametrized by morphism equality, in Agda