aern2-mp

Multi-precision floats via rounded (MPFR)

BSD-3-Clause licensed by Michal Konecny

Maintained by Michal Konecny

This version can be pinned in stack with:aern2-mp-0.1.3.0@sha256:c7fef995d4fca0ac37f007d3dcfe0cea854cc97875f99c06f71d7109b087c982,3050

Depends on 10 packages(full list with versions):

Arbitrary-precision dyadic numbers and safely-rounded interval arithmetic:

There is a plan to add an Integer-only backend so that aern2-mp can be used without MPFR.

Changes

v 0.1.3.0 2018-11-20
- only one MPFR backend - rounded
- reduce backend-specific code
v 0.1.2.0 2017-11-14
- fix compilation with haskell-mpfr
v 0.1.1.0 2017-11-14
- using Claude Heiland-Allen’s Numeric.Rounded.Simple
v 0.1.0.1 2017-09-12
- first release on Hackage
- backends: hmpfr and (tweaked) rounded