projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 852d866) | patch
update baked in CoqPass.hs
authorgentzen <root@gentzen.megacz.com>
Sun, 15 May 2011 06:38:45 +0000 (23:38 -0700)
committerAdam Megacz <adam@megacz.com>
Sun, 15 May 2011 06:38:45 +0000 (23:38 -0700)
commit8344f2f8697a9582b3362c86475c5f90ca420c28
tree3c3e73307f52dddd25983c3287828c81ceb0a040tree | snapshot
parent852d8660c841ea0812ff9315ae53eaf137ca0327commit | diff
update baked in CoqPass.hs
build/CoqPass.hs diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC