From e58aa4ff8291a2a7972075b04ca2b3f5ced342ad Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sat, 21 Nov 2020 06:13:13 +0900 Subject: wip31 --- vikalpa/prelude.scm | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'vikalpa/prelude.scm') diff --git a/vikalpa/prelude.scm b/vikalpa/prelude.scm index c55ea48..35f91dd 100644 --- a/vikalpa/prelude.scm +++ b/vikalpa/prelude.scm @@ -28,11 +28,6 @@ (define-system prelude () (define-primitive-function pair? (x y)) - (define-primitive-function cons (x y)) - (define-primitive-function car (x)) - (define-primitive-function cdr (x)) - (define-primitive-function sub1 (x)) - (define-primitive-function add1 (x)) (define-primitive-function < (x y)) (define-primitive-function natural? (x)) (define-totality-claim natural? natural? <) @@ -40,6 +35,7 @@ (define-syntax-rules list () ((list) '()) ((list x . y) (cons x (list . y)))) + (define-syntax-rules and () ((and) '#t) ((and x) x) -- cgit v1.2.3