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