git.megacz.com Git - coq-hetmet.git/atom - src/HaskLiterals.v historyCoq proofs and code accompanying the HetMet extensions for GHChttp://git.megacz.com/?p=coq-hetmet.git/git-favicon.png/git-logo.png2011-05-09T23:26:46Zgitwebsplit HaskLiteralsAndTyCons into two files2011-05-09T23:26:46ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2011-05-09T23:26:46Zhttp://git.megacz.com/?p=coq-hetmet.git;a=commitdiff;h=1c1cdb9014f409248ca96b677503719916b2b477
give HaskWeak its own type representation, fix numerous bugs2011-03-07T13:41:46ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2011-03-07T13:41:46Zhttp://git.megacz.com/?p=coq-hetmet.git;a=commitdiff;h=bcb16a7fa1ff772f12807c4587609fd756b7762e
give HaskWeak its own type representation, fix numerous bugs