From 54431be7b5461dde802d93f28b7b65f1139a8106 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Tue, 5 Jan 2021 08:19:47 +0900 Subject: wip64 --- vikalpa/prelude.scm | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'vikalpa') 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))) -- cgit v1.2.3