diff options
Diffstat (limited to 'vikalpa/prelude.scm')
-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)))) |