quickcheck 1.1.0

Automatic property based testing with shrinking.
Documentation