A TDD library for Clojure that supports top-down ('mockish') TDD, encourages readable tests, provides a smooth migration path from clojure.test, balances abstraction and concreteness, and strives for graciousness.
Define types by giving descriptions (perhaps incomplete) of how they're built.
"...by how they're built" means applying arbitrary predicates (especially ones
about existence) to parts of structures.