https://mvr.hosting.nyu.edu/ [email protected]
NYUAD Abu Dhabi
Mitchell Riley
Effective Algebraic Topology in Haskell
mvr
"Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)