On Aug 24, 2014, at 12:48 PM, Sascha Ziemann wrote:
> I tried to pass a list to amb but I do not know how to use amb-thunks. I
> tried this:
>
> (require-extension amb)
>
> (let ((names '(a b c)))
> (amb-collect
>(let ((name (amb-thunks (map (lambda (x) x) names)))
(nam
I tried to pass a list to amb but I do not know how to use amb-thunks. I
tried this:
(require-extension amb)
(let ((names '(a b c)))
(amb-collect
(let ((name (amb-thunks (map (lambda (x) x) names)))
(value (amb 'c 'b 'a)))
(amb-assert (eq? name value))
value)))
(let ((nam