4 results
Automatic testing of Haskell programs
Core data structures and operations
Data type modifiers for property based testing
Sized functors, for size-based enumerations