projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 148579e) | patch
swap the order of the hypotheses of RLet
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 29 Mar 2011 08:05:18 +0000 (01:05 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 29 Mar 2011 08:05:18 +0000 (01:05 -0700)
commit75a5863eb9fb6cdfa1f07e538f6f948ffec80331
tree7e1ae32c6bea56257fe322a67a69e885e31d130etree | snapshot
parent148579e5c8f6b60209a442222b932cf59f163ccacommit | diff
swap the order of the hypotheses of RLet
src/HaskProof.v diff | blob | history
src/HaskProofToStrong.v diff | blob | history
src/HaskStrongToProof.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC