Very nice indeed! Fun to see this implementation in Clojure direct from SICP. Someday I hope somebody completes SICP in Clojure. AFAICT it's been attempted many

Very nice indeed! Fun to see this implementation in Clojure direct from SICP. Someday I hope somebody completes SICP in Clojure. AFAICT it's been attempted many times but none have finished. Btw, miniKanren from Reasoned Schemer has long been available in Clojure as core.logic (with some minor differences). https://github.com/clojure/core.logic https://github.com/clojure/core.logic