From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Thu, 1 Sep 2011 04:37:51 +0000 (-0700)
Subject: add support for <{..}> and ~~> syntax as well as typing for Kappa-calculus
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=9241ac84d10f7e6b23841da2c0765275072ad7c1;hp=9241ac84d10f7e6b23841da2c0765275072ad7c1;p=ghc-hetmet.git

add support for <{..}> and ~~> syntax as well as typing for Kappa-calculus
---