search

michalkonecny / aern2

A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
23 stars 3 forks source link

[aern2-mp] WithCurrentPrec mixed-types operations #4

Closed michalkonecny closed 3 years ago