like "Constructive Mathematics in F#", except in Clojure - View it on GitHub