2011-04-04 | Adam Megacz | major revision: separate Subcategory into {Wide,Full... |
commit | commitdiff | tree |
2011-04-03 | Adam Megacz | major revision: MonoidalCat is now a subclass of PreMonoidalCat |
commit | commitdiff | tree |
2011-04-03 | Adam Megacz | Makefile: insist on native-compiled Coq |
commit | commitdiff | tree |
2011-04-03 | Adam Megacz | add README |
commit | commitdiff | tree |
2011-03-11 | Adam Megacz | initial checkin of coq-categories library |
commit | commitdiff | tree |