git.megacz.com Git - coq-hetmet.git/atom - examples/GArrowShow.hs historyCoq proofs and code accompanying the HetMet extensions for GHChttp://git.megacz.com/?p=coq-hetmet.git/git-favicon.png/git-logo.png2014-04-13T19:09:37Zgitwebupdate to use Control.GArrow instead of GHC.HetMet.GArrow2012-04-20T05:41:07ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2012-04-20T05:41:07Zhttp://git.megacz.com/?p=coq-hetmet.git;a=commitdiff;h=ec996e8cb550676d89d187061db7d018af9ec88d
update to use Control.GArrow instead of GHC.HetMet.GArrow