Trammel

a contracts-programming library for Clojure

Contracts Programming

the relationship between a class and its clients as a formal agreement, expressing each party's rights and obligations

read more

In progress…

Correctness

Specification

Correctness is a relative notion

Consequences

Knowing its correct
Gaining a deeper understanding of the problem
Documentation
A basis for testing
A basis for debugging

Weak and Strong

weak pre
strong post

clojars → source code → tickets → wiki →