On Sat, Jan 7, 2012 at 11:20 PM, jim <jim.d...@gmail.com> wrote:

> Hey David,
>
> From the readme the failing disequality example:
>
> (run* [q]
>  (fresh [x y]
>    (!= [x 2] [1 y])
>    (== x 1)
>    (== y 2)
>    (== q [x y])))
>
> gives me ([1 2])
>

I just checked this. This fails for me.

David

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en

Reply via email to