Verified transducer/reducer optimization for Clojure. - View it on GitHub