projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 788a6d7) | patch
GArrowTikZ: render more of the structural stuff in gray!50
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 14 Jun 2011 03:50:31 +0000 (20:50 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 14 Jun 2011 03:50:31 +0000 (20:50 -0700)
commit56413ac435b190c551e8a695fa4e289b46f5b683
treeafa934378cb4718da6a110548f350bb4f149e30ctree | snapshot
parent788a6d7b6757d0727c2d052f529fdc96cd25582acommit | diff
GArrowTikZ: render more of the structural stuff in gray!50
examples/GArrowTikZ.hs diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC