AERN-Real-0.10.0.1: arbitrary precision interval arithmetic for approximating exact real numbers
Data.Number.ER.Misc.STM
Description
Miscelaneous utilities related to concurrency.