projects / coq-categories.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 758bf2a) | patch
IsomorphicCategories: make the components fields, not methods
authorAdam Megacz <adam@megacz.com>
Sun, 27 Mar 2011 19:22:28 +0000 (12:22 -0700)
committerAdam Megacz <adam@megacz.com>
Sun, 27 Mar 2011 19:22:28 +0000 (12:22 -0700)
commit1ab46a0e579ec1964ae0ab3cadb64f6a77db8d30
tree4cc82a3a9a4c21d73d48b367f84f499c79507938tree | snapshot
parent758bf2a48a733870dca601e5b03390d4271ad1c7commit | diff
IsomorphicCategories: make the components fields, not methods
src/Functors_ch1_4.v diff | blob | history
formalization of basic category theory in Coq