A demo for Automatic Annotation inference for Typed Clojure - View it on GitHub