quickcheck 0.8.3

Automatic property based testing with shrinking.
Documentation