Add QuickCheck package
Merge pull request #93 from pao/pao/QuickCheck

Add QuickCheck package