Proposal: Data.Bool.implies

Niklas Hambüchen mail at
Mon Jan 18 13:57:05 UTC 2016

On 18/01/16 09:50, Andrew Butterfield wrote:
> In equational logic, it makes more sense for implication to bind tighter than equivalence,
> and it would usually be considered as infixr
> a `implies` b `implies` c    same as  a `implies` (b `implies` c)  

This is a fair point; my reasoning was that when the variables are a bit
longer, it can be more difficult for humans to do brain bracketing,
that's why I proposed explicit bracketing for multiple implies with
plain infix.

More information about the Libraries mailing list