refine properties for testing Haskell programs
rudymatela
enumerative property-based testing for Haskell
Speculate laws about Haskell functions
