Exact real numbers as Cauchy sequences of MPFR approximations.

See module AERN2.Real for further documentation.

Changes

  • v 0.1.1.0 2017-12-06
    • disable aern2-generate-netlog-elm for now
  • v 0.1.0.3 2017-12-06
    • remove further upper bounds
  • v 0.1.0.2 2017-11-14
    • remove most upper bounds, building with ghc 8.2
  • v 0.1.0.1 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