clojure.core.contracts Contracts programming for Clojure. In progress. tolerances generic var rewrite lib Based on Trammel