3 ms·
I don't get replacing `/=` in Eq with `a \= b = not (a == b)` -- it seems that this would breaking floating point comparisons?
by olliej 5y ago
I don't get replacing `/=` in Eq with `a \= b = not (a == b)` -- it seems that this would breaking floating point comparisons?