| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Evaluation.Builtins.Integer.OrderProperties
Description
Property tests for the lessThanInteger and lessThanEqualsInteger builtins
and their interaction with the arithmetic functions.
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Evaluation.Builtins.Integer.OrderProperties
Description
Property tests for the lessThanInteger and lessThanEqualsInteger builtins
and their interaction with the arithmetic functions.