projects / coq-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add -fno-warn-unused-{binds,patterns} to Coq extraction
2011-04-25 Adam Megaczadd -fno-warn-unused-{binds,patterns} to Coq extraction
 commit | commitdiff | tree
2011-04-10 Adam Megaczseparate CoqPass.hs from All.v in Makefile
 commit | commitdiff | tree
2011-04-10 Adam Megaczfix bug in GeneralizedArrowFromReification
 commit | commitdiff | tree
2011-03-12 Adam Megaczupdate push-url in Makefile
 commit | commitdiff | tree
2011-03-09 Adam Megaczmore Makefile updates
 commit | commitdiff | tree
Coq proofs and code accompanying the HetMet extensions for GHC