Improve documentation for Real

Ben Franksen ben.franksen at
Sun Dec 27 10:35:23 UTC 2020

Am 24.12.20 um 03:46 schrieb David Feuer:
> Wouldn't it make more sense to get at the idea from another direction or
> two? One obvious idea is to compare to a rational number:
>     compareRational :: a -> Rational -> Ordering
> Neither this nor Ord can be supported by computable reals,

Disclaimer: I have only a vague idea what computable reals are, which
may explain why this is totally non-obvious to me!

I mean, for Ord: yes, I do understand ahy this is not computable, but
compareRational? Could you post a pointer or reference?


More information about the Libraries mailing list