git.megacz.com Git - coq-hetmet.git/atom - examples/GArrowAssTypes.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:10:15Zgitwebimprovements to examples/2014-04-13T19:10:15ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2014-04-13T19:10:15Zhttp://git.megacz.com/?p=coq-hetmet.git;a=commitdiff;h=c700f5a65d664d4c0a3e76d33aa3769266bf330c