Fixed logic-tutorial.tut2/appendo

swannodette · Jul 21, 2012 · 2209ddb · 2209ddb
1 parent f7e0798
commit 2209ddb
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -310,7 +310,7 @@ Open <code>src/logic-tutorial/tut2.clj</code>. You'll find the definition for <c
     ((== l1 ()) (== l2 o))
     ((exist [a d r]
        (conso a d l1)
-       (conso a r l2)
+       (conso a r o)
        (appendo d l2 r)))))
 ```
 

diff --git a/src/logic_tutorial/tut2.clj b/src/logic_tutorial/tut2.clj
@@ -7,5 +7,5 @@
     ((== l1 ()) (== l2 o))
     ((exist [a d r]
        (conso a d l1)
-       (conso a r l2)
-       (appendo d l2 r)))))
+       (conso a r o)
+       (appendo d l2 r)))))