2011-03-25 | Adam Megacz | update imports in EquivalentCategories | commit | commitdiff | tree | snapshot |
2011-03-25 | Adam Megacz | remove CategoryOfCategories, which isnt ready yet | commit | commitdiff | tree | snapshot |
2011-03-22 | Adam Megacz | make the codomain of the FreydCategory functor a parame... | commit | commitdiff | tree | snapshot |
2011-03-21 | Adam Megacz | add formalization of Arrows and Freyd Categories | commit | commitdiff | tree | snapshot |
2011-03-21 | Adam Megacz | rename General/Preamble to avoid conflict with ghc... | commit | commitdiff | tree | snapshot |
2011-03-11 | Adam Megacz | initial checkin of coq-categories library | commit | commitdiff | tree | snapshot |