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