projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f503f7) | patch
allow -fcoqpass to change the type of top-level bindings
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 9 May 2011 06:29:31 +0000 (23:29 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 9 May 2011 06:29:31 +0000 (23:29 -0700)
commit4ad68fe2894b35c21f2feb7b176d2b0f146ff6d3
treeaeb30cc79b2960a55179f8141f74f478c565bf3etree | snapshot
parent2f503f719116c08f11178e46c3aecfa09d974a82commit | diff
allow -fcoqpass to change the type of top-level bindings
src/ExtractionMain.v diff | blob | history
src/HaskCoreTypes.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC