1 files changed, 23 insertions, 16 deletions
diff --git a/examples/test.lisp b/examples/test.lisp
index a6f7d60..fd8c379 100644
--- a/examples/test.lisp
+++ b/examples/test.lisp
@@ -1,25 +1,27 @@
-(let compose (\[f g]
+(let! compose (\[f g]
     (\[x] (f (g x)))))
 
 ((compose (+ 1) (+ 2)) 3)
 
-(let mod (\[n k]
+(let! id (\[a] a))
+
+(let! mod (\[n k]
     (- n (* k (/ n k)))))
 
-(let not (\[b]
+(let! not (\[b]
     (match b
         true false
         false true)))
 
-(let is-even (\[n]
+(let! is-even (\[n]
     (match (mod n 2)
         0 true
         1 false)))
 
-(let is-odd (compose not is-even))
+(let! is-odd (compose not is-even))
 
 ;; map :: (a -> b) -> [a] -> [b]
-(let map (\[f lst]
+(let! map (\[f lst]
     (match lst
         []
             []
@@ -29,7 +31,7 @@
 (map (+ 1) [1 2 3])
 
 ;; foldr :: (a -> b -> b) -> b -> [a] -> b
-(let foldr (\[f accumulator lst]
+(let! foldr (\[f accumulator lst]
     (match lst
         []
             accumulator
@@ -39,7 +41,7 @@
 (foldr + 0 [1 2 3])
 
 ;; filter :: (a -> Bool) -> [a] -> [a]
-(let filter (\[pred lst]
+(let! filter (\[pred lst]
     (match lst
         [] []
         otherwise (match (pred (head lst))
@@ -50,9 +52,9 @@
 
 (filter is-even [0 1 2 3 4 5])
 
-(let fibo (\[n]
-    (let lazy fibo-1 (fibo (- n 1)))
-    (let lazy fibo-2 (fibo (- n 2)))
+(let! fibo (\[n]
+    (let! lazy fibo-1 (fibo (- n 1)))
+    (let! lazy fibo-2 (fibo (- n 2)))
     (match n
         0  0
         1  1
@@ -60,15 +62,20 @@
 
 (fibo 10)
 
-(let reverse_ (\[v a]
-    (let lazy x (head v))
-    (let lazy xs (tail v))
-    (let lazy xa (prepend x a))
+(let! reverse_ (\[v a]
+    (let! lazy x (head v))
+    (let! lazy xs (tail v))
+    (let! lazy xa (prepend x a))
     (match v
         [] a
         _  (reverse_ xs xa))))
 
-(let reverse (\[v]
+(let! reverse (\[v]
     (reverse_ v [])))
 
 (reverse [1 2 3])
+
+(let! flow (\[fs] (foldr compose id (reverse fs))))
+(let! pipe (\[x fs] ((flow fs) x)))
+
+(pipe 10 [(+ 1) (+ 2)])