projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8d9db7) | patch
minor cleanups to Extraction-prefix.hs to eliminate warnings
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 9 May 2011 04:20:06 +0000 (21:20 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 9 May 2011 04:20:06 +0000 (21:20 -0700)
commitd4b00db15359657e07a36167b2a28882460fdd8f
treee8bef146116bca7e71a9c71f09455265e1bfea21tree | snapshot
parente8d9db77f48f7710b5eec6cba6fdaf4650a48c88commit | diff
minor cleanups to Extraction-prefix.hs to eliminate warnings
src/Extraction-prefix.hs diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC