projects / coq-hetmet.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next ⋅ patches
coq-hetmet.git
13 years agoInitial checkin of Coq-in-GHC code
commit | commitdiff | tree
Adam Megacz [Wed, 2 Mar 2011 22:25:04 +0000 (14:25 -0800)]
Initial checkin of Coq-in-GHC code

Coq proofs and code accompanying the HetMet extensions for GHC