Trammel version 0.7.0 (reference invariants++)

Trammel is a Clojure providing contracts programming (sometimes called "Design by Contract" or DbC) capabilities. Features of Trammel currently include: Contracts on functions Composable contracts Post-definition function contract application defrecord and deftype invariants Reference type invariants (i.e. Agents, Atoms, Refs, and Vars) Ability to turn-off checks in a production setting Support for Clojure versions 1.3 [...]