@hackage aern2-real dependencies

15 results

Core data structures and operations

Alternative Prelude with numeric and logic expressions typed bottom-up

Integer logarithms.

A Testing Framework for Haskell

Error monad with a Float instance

Multi-precision ball (interval) arithmetic

Automatic testing of Haskell programs

Core data structures and operations

Alternative Prelude with numeric and logic expressions typed bottom-up

Integer logarithms.

A Testing Framework for Haskell

Error monad with a Float instance

Real numbers as convergent sequences of intervals

Multi-precision ball (interval) arithmetic

Automatic testing of Haskell programs