quickcheck 1.0.3

Automatic property based testing with shrinking.
Documentation