projects / coq-hetmet.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add ProgrammingLanguageFlattening2
2014-05-11 Adam Megaczadd ProgrammingLanguageFlattening2
 commit | commitdiff | tree
2014-05-11 Adam Megaczfix proofs in ReificationsIsomorphicToGeneralizedArrows
 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