@hackage / aern2-real

Real numbers as convergent sequences of intervals

Latest0.2.16.1

Dependencies