18 Jan
2016
18 Jan
'16
1:57 p.m.
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.