allow either <[]> or <{}> at the type level2011-10-04T18:28:56ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2011-10-04T18:28:56Zhttp://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff;h=f9c3194e1d4f0f1c370fd059192565b1e7943bf1
add support for <{..}> and ~~> syntax as well as typing for Kappa-calculus2011-09-01T04:37:51ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2011-09-01T04:37:51Zhttp://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff;h=9241ac84d10f7e6b23841da2c0765275072ad7c1
add support for <{..}> and ~~> syntax as well as typing for Kappa-calculus
add submodule for all upstream repos2011-08-30T05:19:14ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2011-08-30T05:19:14Zhttp://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff;h=61178e9da05deb4cd6f77838b069f05018bfdc16
put coqPassCoreToCore on the CoreM monad, greatly simplify Desugar.lhs2011-06-19T00:34:50ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2011-06-19T00:34:50Zhttp://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff;h=d9a655dad8e013e41c74dca98fb86c4ed6f29879
put coqPassCoreToCore on the CoreM monad, greatly simplify Desugar.lhs