quickcheck 0.7.2

Automatic property based testing with shrinking.
Documentation