projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12384b2) | patch
GArrowPortShape: add Show instance, use new Unify.hs
authorAdam Megacz <megacz@cs.berkeley.edu>
Sat, 4 Jun 2011 01:16:52 +0000 (18:16 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sat, 4 Jun 2011 01:16:52 +0000 (18:16 -0700)
commit5f3a403ddd76cdd4a43e41c4e489550f87df7207
treee2178b4b5810fd223c2b77d628b9500e95937632tree | snapshot
parent12384b2baca49dfe1151c3a6479a8d7b08d470e4commit | diff
GArrowPortShape: add Show instance, use new Unify.hs
examples/GArrowPortShape.hs diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC