diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-10 05:21:58 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-10 05:21:58 +0900 |
| commit | bc388110c1a00c2450778e433788f8f2997e4359 (patch) | |
| tree | 6ea5cb13c7f782815b723a95b836f7c03d8aed86 /vikalpa | |
| parent | 42f3851f4f6b80acdc416ff0f95bee52ef369b9a (diff) | |
wip70
Diffstat (limited to 'vikalpa')
| -rw-r--r-- | vikalpa/prelude.scm | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/vikalpa/prelude.scm b/vikalpa/prelude.scm index 74cbe98..d2e54ce 100644 --- a/vikalpa/prelude.scm +++ b/vikalpa/prelude.scm @@ -28,21 +28,6 @@ (and (exact-integer? x) (negative? x))) -(define (succ x) - (if (number? x) - (+ x 1) - 1)) - -(define (pred x) - (if (number? x) - (- x 1) - -1)) - -(define (negate x) - (if (exact-integer? x) - (- x) - 0)) - (define-syntax-rule (define-axiom/is p1 p2) (define-axiom (is p1 p2) (x) (is (p1 x) (p2 x)))) |