projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b017fc) | patch
fix spellings in Extraction-prefix.hs, minor tweaks
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 15 Mar 2011 02:02:30 +0000 (19:02 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 15 Mar 2011 02:02:30 +0000 (19:02 -0700)
commitc9a110c17f24f89f0375c3207b7c544e87a3cee8
treea129d9968c1f24890b08ad910b6a52dfacecfd61tree | snapshot
parent6b017fc7346850c589273befe5faef9ee57bd53dcommit | diff
fix spellings in Extraction-prefix.hs, minor tweaks
src/Extraction-prefix.hs diff | blob | history
src/HaskStrongToWeak.v diff | blob | history
src/HaskWeakToCore.v diff | blob | history
src/HaskWeakTypes.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC