diff options
Diffstat (limited to 'vikalpa/prelude.scm')
-rw-r--r-- | vikalpa/prelude.scm | 4 |
1 files changed, 2 insertions, 2 deletions
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)) |