computable-real 0.2.0

Computable real number
Documentation