summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Adam Megacz [Tue, 22 Mar 2011 00:45:46 +0000 (17:45 -0700)]
make the codomain of the FreydCategory functor a parameter rather than a field
Adam Megacz [Mon, 21 Mar 2011 01:53:23 +0000 (18:53 -0700)]
add formalization of Arrows and Freyd Categories
Adam Megacz [Mon, 21 Mar 2011 01:53:02 +0000 (18:53 -0700)]
rename General/Preamble to avoid conflict with ghc-hetmet
Adam Megacz [Fri, 11 Mar 2011 07:59:30 +0000 (23:59 -0800)]
initial checkin of coq-categories library
projects / coq-categories.git / log