From 46822c2b908001d531974f6f6ca34b8aba1b0c42 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 29 Nov 2020 04:05:34 +0900
Subject: wip38 (refactor)

---
 vikalpa/prelude.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'vikalpa')

diff --git a/vikalpa/prelude.scm b/vikalpa/prelude.scm
index 9a25348..83f3b6a 100644
--- a/vikalpa/prelude.scm
+++ b/vikalpa/prelude.scm
@@ -83,7 +83,7 @@
 
   (define-axiom if-same (x y)
     (equal? (if x y y) y))
-  
+
   (define-axiom if-not (x y z)
     (equal? (if (not x) y z)
             (if x z y)))
@@ -112,7 +112,7 @@
   (define-axiom pred/succ (x)
     (implies (natural? x)
              (equal? (pred (succ x)) x)))
-  
+
   (define-axiom succ/pred (x)
     (implies (natural? x)
              (not (zero? x))
-- 
cgit v1.2.3