projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94c8e72) | patch
separate type/coer/expr variables in HaskWeak case branches
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 7 Mar 2011 13:41:40 +0000 (05:41 -0800)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 7 Mar 2011 13:41:40 +0000 (05:41 -0800)
commit02af384ece10c5aa927c7d7c1379e9d202926cc8
tree56d9a723872d55de0b5c50ec6be92198b96fd083tree | snapshot
parent94c8e7297c8026cb505bb0a8461da4a0b257b48acommit | diff
separate type/coer/expr variables in HaskWeak case branches
src/HaskCoreToWeak.v diff | blob | history
src/HaskWeak.v diff | blob | history
src/HaskWeakToCore.v diff | blob | history
src/HaskWeakVars.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC