projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9bbdf5) | patch
store variables in ELetRecBindings rather than its indexing tree
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 7 Mar 2011 13:41:37 +0000 (05:41 -0800)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 7 Mar 2011 13:41:37 +0000 (05:41 -0800)
commit94c8e7297c8026cb505bb0a8461da4a0b257b48a
tree5334acdae7ae8b5c638ac0a46972d1841afbb1b8tree | snapshot
parenta9bbdf55d01ad494d42018c0eaa252da1d7b5d97commit | diff
store variables in ELetRecBindings rather than its indexing tree
src/HaskStrong.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC