@hackage / aern2-real

Real numbers as convergent sequences of intervals

0.2.16.1

Version history