From cb567b766dc4381e450ae9618b099636599fe3d6 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Mon, 9 Nov 2020 03:48:14 +0900
Subject: wip12

---
 vikalpa.scm | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'vikalpa.scm')

diff --git a/vikalpa.scm b/vikalpa.scm
index 49f6477..e610b80 100644
--- a/vikalpa.scm
+++ b/vikalpa.scm
@@ -729,7 +729,7 @@
   (define-function app (x y)
     (if (atom? x)
         y
-        (cons x (app (cdr x) y))))
+        (cons (car x) (app (cdr x) y))))
 
   (define-theorem associate-app (x y z)
     (equal? (app (app x y) z)
@@ -744,3 +744,8 @@
 
 (define (atom? x)
   (not (pair? x)))
+
+(define (app x y)
+    (if (atom? x)
+        y
+        (cons (car x) (app (cdr x) y))))
-- 
cgit v1.2.3