InnerQuickCheck

InnerQuickCheck is a small addition to the standard haskell QuickCheck module which allows for QuickCheck properties which use QuickCheck recursively to generate test data that satisfies another QuickCheck property.

The code can be downloaded from here.

Documentation and examples to follow...