diff options
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) |