aern2-real 0.2.13.0 → 0.2.14
raw patch · 2 files changed
+3/−1 lines, 2 files
Files
- aern2-real.cabal +1/−1
- changelog.md +2/−0
aern2-real.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack name: aern2-real-version: 0.2.13.0+version: 0.2.14 synopsis: Real numbers as convergent sequences of intervals description: Please see the README on GitHub at <https://github.com/michalkonecny/aern2/#readme> category: Math
changelog.md view
@@ -1,6 +1,8 @@ # Change log for aern2-real * current+* v 0.2.14 2023-04-10+ * fix compilation error * v 0.2.13 2023-04-07 * unsafeApproximationExtension * v 0.2.12 2023-04-07