Speaking of core.logic and totally hijacking this thread
Fogus has been prodding me to do a miniKanren Confo during Clojure/West. We
are running a poll for feedback (http://bit.ly/12T37ez) and would be happy
to get more if you have some. Both Byrd and Friedman seem interested in
participat
Hot on the heels of beta4, we have beta5. It fixes an annoying bug around
the `<=fd` constraint discovered by Gary Fredericks.
However the biggest change is the inclusion of an entirely new constraint
domain - Nominal Abstract Syntax. This exciting addition is thanks to the
awesome work of Nada Am
