18 Jan
2016
18 Jan
'16
1:41 a.m.
On 01/18/2016 07:14 AM, David Feuer wrote:
I think changing the Ord instance for Bool *may* be the way to go.
If that happens then perhaps an "implies" alias in Data.Bool might still be relevant? I, for one, would almost certainly not have discovered "<=" if I were looking for this function. That said, I don't think I've ever had a need for "implies", so... +0 for an alias, I guess.