wip11

1 files changed, 5 insertions, 2 deletions

diff --git a/vikalpa.scm b/vikalpa.scm
index 5a51cfa..49f6477 100644
--- a/vikalpa.scm
+++ b/vikalpa.scm
@@ -680,7 +680,7 @@
                 (equal? (cons (car x) (cdr y)) x)
                 '#t)
             y))
-    (define-axiom cons/car+cdr (x y)
+  (define-axiom cons/car+cdr (x y)
     (equal? (if (pair? x)
                 (equal? (cons (car x) (cdr y)) x)
                 '#t)
@@ -729,7 +729,7 @@
   (define-function app (x y)
     (if (atom? x)
         y
-        (cons x (app x y))))
+        (cons x (app (cdr x) y))))
 
   (define-theorem associate-app (x y z)
     (equal? (app (app x y) z)
@@ -741,3 +741,6 @@
          (size (car x))
          (size (cdr x)))
       0))
+
+(define (atom? x)
+  (not (pair? x)))