Haskell constructible library

Exact computation with constructible real numbers

• Current version and documentation on Hackage
• Source code on GitHub
• Current maintainer: Anders Kaseorg