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