projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c9df3b) | patch
use CoreM monad to acquire known-to-compiler identifiers
authorAdam Megacz <megacz@cs.berkeley.edu>
Sun, 19 Jun 2011 00:33:30 +0000 (17:33 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sun, 19 Jun 2011 00:33:30 +0000 (17:33 -0700)
commit68f5bca870525f0740a4c5cb1fdbc7c7ce270306
tree63049a4e420d625533052f803d81be20fef1973ctree | snapshot
parent7c9df3b89842f11d0bcb00ab24012160174e5f7acommit | diff
use CoreM monad to acquire known-to-compiler identifiers
examples/Demo.hs diff | blob | history
src/Extraction-prefix.hs diff | blob | history
src/ExtractionMain.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC