@hackage / cdar-mBound

Exact real arithmetic using Centred Dyadic Approximations

0.1.0.4

Version history