Proposal: Data.Bool.implies

Bardur Arantsson spam at
Mon Jan 18 07:19:23 UTC 2016

On 01/18/2016 08:04 AM, David Feuer wrote:
> I agree with you that    not a || b   says something a bit different
> from  a `implies` b in a more general logical context. However, I
> believe that  a <= b  says exactly the same thing. It's true that it
> may not be quite obvious to everyone, but anyone thinking enough about
> logic to *want* an implies function should probably be willing to
> learn such things.

I would think using "<=" would be actively harmful for readers in that
the arrow points the wrong way from the usual...? (I realize in this
case it's the comparison operator and that conventions may differ, but...)

More information about the Libraries mailing list