quickcheck 0.8.0

Automatic property based testing with shrinking.
Documentation