quickcheck 0.5.0

Automatic property based testing with shrinking.
Documentation