quickcheck 0.8.1

Automatic property based testing with shrinking.
Documentation