@hackage aern2-real0.2.16.1

Real numbers as convergent sequences of intervals

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
mikkonecny@gmail.com
Links
Versions
- 0.2.16.1 Sat, 5 Oct 2024
- 0.2.16.0 Sat, 21 Sep 2024
- 0.2.15.1 Fri, 20 Sep 2024
- 0.2.15 Tue, 11 Apr 2023
- 0.2.14.1 Mon, 10 Apr 2023
- 0.2.14 Mon, 10 Apr 2023

Installation
In your cabal file:
Dependencies (7)
- base >=4 && <5
- QuickCheck
- aern2-mp >=0.2.16.0
- collect-errors >=0.1.5
- hspec
- integer-logarithms
Dependents (1)
@hackage/aern2-fun

Please see the README on GitHub at https://github.com/michalkonecny/aern2/#readme