projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d684a61) | patch
swap order of hypotheses in RApp to match RLet
authorAdam Megacz <megacz@cs.berkeley.edu>
Thu, 12 May 2011 22:28:14 +0000 (15:28 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Thu, 12 May 2011 22:28:14 +0000 (15:28 -0700)
commit164cdbf41ca206079b0dcfc18cd13625b286c38c
tree8be76d4940ad68e7d66a120a7481af17a76206fdtree | snapshot
parentd684a61025d30f0ae06893298f126ae0072d6922commit | diff
swap order of hypotheses in RApp to match RLet
src/ExtractionMain.v diff | blob | history
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