Exact real numbers as Cauchy sequences of MPFR approximations.
AERN2.Real for further documentation.
- 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