projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d69d4c8) | patch
speed up builds by removing some dependencies from ExtractionMain
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 18 Apr 2011 23:59:00 +0000 (16:59 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 18 Apr 2011 23:59:00 +0000 (16:59 -0700)
commit6ed760cd82a6fd25981f45de07fb68bc6ca38616
tree9f6e38f4c9312ec2c6ed88d01fd3400fdd258809tree | snapshot
parentd69d4c8660d8f1f3ea13868c2e2d1c7f8a4d68f7commit | diff
speed up builds by removing some dependencies from ExtractionMain
src/ExtractionMain.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC