From bc388110c1a00c2450778e433788f8f2997e4359 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sun, 10 Jan 2021 05:21:58 +0900 Subject: wip70 --- vikalpa/prelude.scm | 15 --------------- 1 file changed, 15 deletions(-) (limited to 'vikalpa') 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)))) -- cgit v1.2.3