The latest version of speculate is 0.4.20-0.
speculate
Version 0.2.5 revision 0 uploaded by rudymatela.
Package meta
- Synopsis
- discovery of properties about Haskell functions
- Description
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.
- Author
- Rudy Matela, Colin Runciman
- Bug reports
- n/a
- Category
- Testing
- Copyright
- n/a
- Homepage
- https://github.com/rudymatela/speculate#readme
- Maintainer
- Rudy Matela <rudy@matela.com.br>
- Package URL
- n/a
- Stability
- n/a