diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-29 04:05:34 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-29 04:05:34 +0900 |
commit | 46822c2b908001d531974f6f6ca34b8aba1b0c42 (patch) | |
tree | a930fe30a832f811c0d37b5d6560b10c2bd10156 /vikalpa/prelude.scm | |
parent | 99c01cbd393cb80a9555644370fb4550318fa901 (diff) |
wip38 (refactor)
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)) |