AERN-Real-0.9.9: arbitrary precision interval arithmetic for approximating exact real numbers
Data.Number.ER.MiscSTM
Description
Utilities related to concurrency.