projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86533ec) | patch
add support for flattening non-recursive Let bindings
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 10 May 2011 00:38:37 +0000 (17:38 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 10 May 2011 00:38:37 +0000 (17:38 -0700)
commit2da83e6cfd727f142489859160b7d57bfa80a3be
tree7c3f4a50e7ff5c27dadba02f116fce2b5bbc2e77tree | snapshot
parent86533ec8492c5736e8cc2bdd55b88fc013c21f89commit | diff
add support for flattening non-recursive Let bindings
src/HaskFlattener.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC