@hackage cdar-mBound0.1.0.0

Exact real arithmetic using Centred Dyadic Approximations

Categories
License
BSD-3-Clause
Maintainer
mikkonecny@gmail.com
Links
Versions
- 0.1.0.4 Fri, 4 Jun 2021
- 0.1.0.3 Thu, 3 Jun 2021
- 0.1.0.2 Tue, 25 May 2021
- 0.1.0.1 Sat, 8 May 2021
- 0.1.0.0 Sat, 8 May 2021

Installation
In your cabal file:
Dependencies (4)
- base >=4.7 && <4.15
- containers
- deepseq
- integer-gmp
Dependents (1)
@hackage/aern2-mp

Please see https://github.com/michalkonecny/cdar/tree/mBound#readme