projects / coq-hetmet.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionCoq proofs and code accompanying the HetMet extensions for GHC
owner
last changeSun, 11 May 2014 00:47:44 +0000 (17:47 -0700)
URLhttp://git.megacz.com/coq-hetmet.git
shortlog
2014-05-11 Adam Megaczmerge proof correction master commit | commitdiff | tree | snapshot
2014-05-11 Adam Megaczadd ProgrammingLanguageFlattening2 commit | commitdiff | tree | snapshot
2014-05-11 Adam Megaczfix proofs in ReificationsIsomorphicToGeneralizedArrows commit | commitdiff | tree | snapshot
2014-04-13 Adam Megaczimprovements to examples/ commit | commitdiff | tree | snapshot
2014-04-13 Adam Megaczgot rid of GAS_const and GAS_merge!!!! hooray! commit | commitdiff | tree | snapshot
2014-04-13 Adam Megaczupdate to use Control.GArrow instead of GHC.HetMet... commit | commitdiff | tree | snapshot
2012-04-14 Adam Megaczadd commented-out demo commit | commitdiff | tree | snapshot
2012-04-14 Adam Megaczrewrite GArrowVerilog commit | commitdiff | tree | snapshot
2012-04-14 Adam MegaczGArrowSkeleton: add comment commit | commitdiff | tree | snapshot
2012-04-03 Adam Megaczbundle preview.sty to avoid versioning headaches commit | commitdiff | tree | snapshot
2012-04-03 Adam Megaczupdate .gitignore commit | commitdiff | tree | snapshot
2011-10-31 Adam MegaczMerge branch 'master' of git.megacz.com/coq-hetmet commit | commitdiff | tree | snapshot
2011-10-31 Adam Megaczpartial implementation of KappaAbs/KappaApp in Coq... commit | commitdiff | tree | snapshot
2011-10-04 Adam MegaczMerge /afs/megacz.com/.pub/software/coq-hetmet commit | commitdiff | tree | snapshot
2011-10-04 Adam Megaczsyntax update in KappaDemo.hs commit | commitdiff | tree | snapshot
2011-10-04 Adam MegaczDemo.hs: swap <[]> and <{}> commit | commitdiff | tree | snapshot
...
heads
9 years ago master shortlog | log | tree
12 years ago coq-extraction-baked-in shortlog | log | tree
Coq proofs and code accompanying the HetMet extensions for GHC