projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8efffc7) | patch
better error reporting in Extraction.v
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 14 Mar 2011 10:16:48 +0000 (03:16 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 14 Mar 2011 10:16:48 +0000 (03:16 -0700)
commitf6732490f83e19174b8a8a6b487da95913d9f02d
treeadff78dac968d70b93afe805d8c7ddbce247633ftree | snapshot
parent8efffc7368b5e54c42461f45a9708ff2828409a4commit | diff
better error reporting in Extraction.v
src/Extraction.v diff | blob | history
src/HaskWeakToCore.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC