@hackage / cdar-mBound

Exact real arithmetic using Centred Dyadic Approximations

Latest0.1.0.4

Dependencies