projects / coq-categories.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
make the codomain of the FreydCategory functor a parameter rather than a field
[coq-categories.git] / src / Preamble.v-
2011-03-21 Adam Megaczrename General/Preamble to avoid conflict with ghc... blob | commitdiff
formalization of basic category theory in Coq