Exact real numbers via Cauchy sequences and MPFR

Version on this page:
LTS Haskell 12.19:
Stackage Nightly 2018-09-28:
Latest on Hackage:

See all snapshots aern2-real appears in

BSD3 licensed by Michal Konecny
Maintained by Michal Konecny

Module documentation for

There are no documented modules for this package.

Exact real numbers as Cauchy sequences of MPFR approximations.

See module AERN2.Real for further documentation.


  • v 2017-12-06
    • disable aern2-generate-netlog-elm for now
  • v 2017-12-06
    • remove further upper bounds
  • v 2017-11-14
    • remove most upper bounds, building with ghc 8.2
  • v 2017-09-12
    • first release on Hackage
    • fast convergent sequences indexed by AccuracySG
    • arrow-based networks of nodes communicating via query-answer protocols
    • networks executable with cached and parallel strategies
    • network execution can be visualised in browser using an Elm frontend
comments powered byDisqus