quickcheck 0.2.23

Automatic property based testing with shrinking.
Documentation