namin/TAPL-in-miniKanren-cKanren-core.logic — pull request #1 by swannodette (2012-12-12 18:34:45+00:00)
Title: fixes & minor enhancements for core.logic 0.8.0-beta3 & 0.8.0-beta4-SNAPSHOT

core.logic reifies fresh vars as `_.N`, this is unfortunate since this is not a valid symbol in actual Clojure source. This has been corrected in the latest core.logic betas. fresh vars are now reified as `_N`. This means we can use eval on the Clojure source generated from the quines. I updated one of the quine tests to reflect this.