projects / coq-categories.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
coq-categories.git
13 years agorename General/Preamble to avoid conflict with ghc-hetmet
commit | commitdiff | tree
Adam Megacz [Mon, 21 Mar 2011 01:53:02 +0000 (18:53 -0700)]
rename General/Preamble to avoid conflict with ghc-hetmet

13 years agoinitial checkin of coq-categories library
commit | commitdiff | tree
Adam Megacz [Fri, 11 Mar 2011 07:59:30 +0000 (23:59 -0800)]
initial checkin of coq-categories library

formalization of basic category theory in Coq