diff options
Diffstat (limited to 'vikalpa/prelude.scm')
-rw-r--r-- | vikalpa/prelude.scm | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/vikalpa/prelude.scm b/vikalpa/prelude.scm index 201e93d..2da6e8e 100644 --- a/vikalpa/prelude.scm +++ b/vikalpa/prelude.scm @@ -161,7 +161,13 @@ (set-measure-predicate natural?) (set-measure-predicate <)) -(define-system prelude (prelude/measure/natural) +(define-system prelude/pair (prelude/measure/natural) + (define-core-function pair? (x) pair?) + (define-core-function cons (x y) cons) + (define-core-function/guard car (x) (pair? x) car) + (define-core-function/guard cdr (x) (pair? x) cdr)) + +(define-system prelude (prelude/pair) (define-proof inexact? ((rewrite (2) if-nest) (rewrite () if-same))) |