@hackage / cdar-mBound

Exact real arithmetic using Centred Dyadic Approximations

Latest0.1.0.4

Changelog

This release does not have a Changelog