projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c953e0) | patch
separate CoqPass.hs from All.v in Makefile
authorAdam Megacz <adam@megacz.com>
Sun, 10 Apr 2011 19:53:11 +0000 (19:53 +0000)
committerAdam Megacz <adam@megacz.com>
Sun, 10 Apr 2011 19:53:11 +0000 (19:53 +0000)
commit6c949de6b044bda942fd0553e3eb9c0386a94e44
tree2e2c64db0985dd2e7fab4c627ceaef8406353e8btree | snapshot
parent6c953e094065d487e85635df7fd5389271e4a279commit | diff
separate CoqPass.hs from All.v in Makefile
Makefile diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC