quickcheck2 2.0.0

Automatic property based testing with shrinking.
Documentation