copumpkin / categories

Categories parametrized by morphism equality, in Agda

copumpkin/categories Watchers

Arjen Jonathan
ajrouvoet
billhibazzz
ChristianEspinoza
chespinoza
Daniel Peebles
copumpkin
Chad Nester
Cubesoup
eemailme
Harley D. Eades III
heades
Jacques Carette
JacquesCarette
Jason Gross
JasonGross
James Cloos
jhcloos
Josh Tilles
Josh-Tilles
Matteo Acerbi
ma82
Tobias Häberlein
phynfo
Tim Baumann
timjb
James Deikun
xplat

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.