diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-05 08:19:47 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-05 08:19:47 +0900 |
| commit | 54431be7b5461dde802d93f28b7b65f1139a8106 (patch) | |
| tree | f28f1f6074db5ad8f3b1887476fb84e61d438d05 /vikalpa | |
| parent | 32ce95f0cb18145f1e5e307b665a3cd1c1750253 (diff) | |
wip64
Diffstat (limited to 'vikalpa')
| -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))) |