8 Feb
2019
8 Feb
'19
4:57 p.m.
On 08/02/2019 20.07, Lennart Augustsson wrote:
I would *hate* to lose quiet NaNs.
This is just getting further off-topic. Nobody is suggesting this, AFACIT. +1 to the original suggestion to just specify totality for Ord (how could it *not* be?) and mention that Double/Float instances are not currently lawful.