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

[ghc-hetmet.git] / compiler / hetmet

diff --git a/compiler/hetmet b/compiler/hetmet
index 6e1e4b6..7523e50 160000 (submodule)
--- a/compiler/hetmet
+++ b/compiler/hetmet
@@ -1 +1 @@
-Subproject commit 6e1e4b67d01a6447f7dd44f7b5450ddc400000d9
+Subproject commit 7523e5094db5e00224ba034b00aa243e69211c9f