diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-21 06:13:13 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-21 06:13:13 +0900 |
commit | e58aa4ff8291a2a7972075b04ca2b3f5ced342ad (patch) | |
tree | 4787a23a61b6d348df467a02c82be82ef49bdf9a /vikalpa/prelude.scm | |
parent | 6ac3c8c7d47cb68d0edc87dbf9a3d3dc1610bbd4 (diff) |
wip31
Diffstat (limited to 'vikalpa/prelude.scm')
-rw-r--r-- | vikalpa/prelude.scm | 6 |
1 files changed, 1 insertions, 5 deletions
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) |