Just to clarify I'm actually working on a second compiler project written in Clojure. It's my 2nd project that uses core.logic and core.match extensively. Core

Just to clarify I'm actually working on a second compiler project written in Clojure. It's my 2nd project that uses core.logic and core.match extensively. Core.Logic was the perfect abstraction for doing all the type checking -- I'm really grateful for David's work/help. I'll open source this 2nd compiler project in a couple months. This will really show the power of Clojure as David said.