profile
viewpoint

stellamplau/categories

Categories parametrized by morphism equality, in Agda

https://github.com/stellamplau/categories

stellamplau

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

copumpkin
xplat
Saizan
mokus0
JacquesCarette
JasonGross
djahandarie
andreasabel
UlfNorell
vikraman
phink