projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09ecf44) | patch
move to new normalization-based optimizer, add GArrowSkeleton.beautify
authorAdam Megacz <megacz@cs.berkeley.edu>
Wed, 15 Jun 2011 07:01:22 +0000 (00:01 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Wed, 15 Jun 2011 07:01:22 +0000 (00:01 -0700)
commit542be54b8968c631f0c397272cf05871ccef425b
treef0258ec539d7b60653b0c3007846751e9cd97a82tree | snapshot
parent09ecf444dc69f6d0129605b46aaa88531bbb6b87commit | diff
move to new normalization-based optimizer, add GArrowSkeleton.beautify
examples/Demo.hs diff | blob | history
examples/GArrowSkeleton.hs diff | blob | history
examples/GArrowTikZ.hs diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC