A small contracts framework with blame, written with Typed Clojure.
To type check this library, simply require
the namespace contract.typed
under a leiningen REPL.
Copyright © 2015 Ambrose Bonnaire-Sergeant
Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.