Some demo improvements

1 files changed, 18 insertions, 12 deletions

diff --git a/demo/list.ur b/demo/list.ur
index c2dfce22..107bf92c 100644
--- a/demo/list.ur
+++ b/demo/list.ur
@@ -1,15 +1,21 @@
 datatype list t = Nil | Cons of t * list t
 
-fun length' (t ::: Type) (ls : list t) (acc : int) =
-    case ls of
-        Nil => acc
-      | Cons (_, ls') => length' ls' (acc + 1)
+fun length (t ::: Type) (ls : list t) =
+    let
+        fun length' (ls : list t) (acc : int) =
+            case ls of
+                Nil => acc
+              | Cons (_, ls') => length' ls' (acc + 1)
+    in
+        length' ls 0
+    end
 
-fun length (t ::: Type) (ls : list t) = length' ls 0
-
-fun rev' (t ::: Type) (ls : list t) (acc : list t) =
-    case ls of
-        Nil => acc
-      | Cons (x, ls') => rev' ls' (Cons (x, acc))
-
-fun rev (t ::: Type) (ls : list t) = rev' ls Nil
+fun rev (t ::: Type) (ls : list t) = 
+    let
+        fun rev' (ls : list t) (acc : list t) =
+            case ls of
+                Nil => acc
+              | Cons (x, ls') => rev' ls' (Cons (x, acc))
+    in
+        rev' ls Nil
+    end