Demo of core.typed integration into Clojure's compilation pipeline - View it on GitHub