discovery of properties about Haskell functions
Speculate automatically discovers laws about Haskell functions. Give
Speculate a bunch of Haskell functions and it will discover laws like:
- equations, such as id x == x ;
- inequalities, such as 0 <= x * x ;
- conditional equations, such as x <= 0 ==> x + abs x ==
0 .