cf. "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)

github.com/mvr/cf

Problem

Audience

Updates

No founder updates yet. Check back soon.