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])
Shouldn't it be:
(run* [q]
(fresh [x y]
(!= [x 2] [1 y])
(== x 1)
(== y 2)
(== q [x y])))
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to [email protected]
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
