Check

1 files changed, 11 insertions, 1 deletions

diff --git a/grammar.txt b/grammar.txt
index ec9fa9c..f3de822 100644
--- a/grammar.txt
+++ b/grammar.txt
@@ -2,7 +2,17 @@ let x = 2;
     y = 3; in
   (x y)
 
-let x: (Int) =
+// If all functions are curried, can I do something like this?
+let f: (((Int) -> (Int)) -> Int) = [a, b, c = (((if 1) a) b)] { (plus ((plus a) b) c) }; in
+
+let x: (Int);
+    y: (Int) = { x };
+    z = x; in
+        x = 2
+        y()
+     
+        
+
       let y: (Int) = { x }; in
         y;
     y: (Int) = 3;