Add map to amb-utilities

2023-11-15 22:47:11 +00:00 · 2023-11-15 22:47:11 +00:00 · 32eabfa3e0
parent 3d5db17a33
commit 32eabfa3e0
1 changed files with 6 additions and 1 deletions
--- a/mceval/amb-utilities.rkt
+++ b/mceval/amb-utilities.rkt
@ -20,5 +20,10 @@
      (cond ((null? items) true)
            ((null? (cdr items)) true)
            ((member (car items) (cdr items)) false)
-            (else (distinct? (cdr items)))))))
+            (else (distinct? (cdr items)))))
+
+    (define (map f l)
+      (if (null? l) '()
+          (cons (f (car l))
+                (map f (cdr l)))))))