Add the examples to the repo.

2019-08-26 00:13:34 -07:00
parent f29bc68422
commit 5cf344de74
5 changed files with 15 additions and 0 deletions
--- a/03/works3.txt
+++ b/03/works3.txt
@@ -0,0 +1,7 @@
+data List = { Nil, Cons Int List }
+defn length l = {
+    case l of {
+        Nil -> { 0 }
+        Cons x xs -> { 1 + length xs }
+    }
+}