projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3592b8) | patch
add commented-out/incomplete implementation of simplifyWeakExpr
authorAdam Megacz <megacz@cs.berkeley.edu>
Fri, 27 May 2011 05:47:08 +0000 (22:47 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Fri, 27 May 2011 05:47:08 +0000 (22:47 -0700)
commite0435a27dee3f76fb6f8daf493f583cbd1b4cc72
treea2048a6479e66f91344e72061fa5d05de3df21e1tree | snapshot
parenta3592b805c570883fd63a5c75d6e16ea83f2e849commit | diff
add commented-out/incomplete implementation of simplifyWeakExpr
src/HaskWeak.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC