summaryrefslogtreecommitdiff
path: root/grammar.txt
diff options
context:
space:
mode:
Diffstat (limited to 'grammar.txt')
-rw-r--r--grammar.txt12
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;