projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b2698b) | patch
change LetRec rule to allow only a single expression in the body
authorAdam Megacz <megacz@cs.berkeley.edu>
Sat, 19 Mar 2011 21:15:17 +0000 (14:15 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sat, 19 Mar 2011 21:15:17 +0000 (14:15 -0700)
commita0f1135d1a315b7bd876bb42cf80fc03645f4dae
treebb1b5cefbfb67bf89ff4cdefc9ed0382a546514etree | snapshot
parent7b2698b0dfe1d271a68a0efe2bf0d129b5f1f93ecommit | diff
change LetRec rule to allow only a single expression in the body
src/HaskProof.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC