1 files changed, 42 insertions, 9 deletions
diff --git a/SPEC.md b/SPEC.md
index d0aa7be..f05ac9c 100644
--- a/SPEC.md
+++ b/SPEC.md
@@ -29,6 +29,10 @@ d := fn a: int -> int {
     ret a + 1
 }
 
+// Constant
+a :: 1
+a = 2  // This is illegal
+
 // Destructuring a tuple is allowed, after the definiton
 // e = 1, f = 2, g = 3.
 // If the number of variables doesn't match the length
@@ -91,16 +95,45 @@ for {
     break;
 }
 
-// 'After-doer'
-// Any form of code can be placed
-// after an arrow, this will be run AFTER
-// each cycle.
-for -> {
-    
-} -> {
-    print(1)
-    break;
+```
+
+### Functions
+All functions are values.
+```sylt
+// Declare and create the function
+f :: fn {
+    print "A"
 }
+// Semantically equivalent
+f()
+f!
 
+// Declare and create the function
+f :: fn a:int -> int {
+    print a
+    ret a + 1
+}
+// Semantically equivalent
+f 1
+f(1)
+
+// Closures exist
+q := 1
+g :: fn -> int {
+    ret q  // Here the variable 'q' is captured
+}
+q = 2
+print g!  // prints 2
+
+// Supports heigher order functions
+h :: fn -> fn -> int {
+    ret fn -> int { ret 2 }
+}
+print h()()  // prints 2
 ```
 
+### Special syntax
+```sylt
+<!>      // The unreachable statement, it should never be executed
+1 <=> 1  // Asserts equality, so the program crashes if 1 != 1
+```