[mercury-users] Operator precedence of =>
Richard A. O'Keefe
ok at atlas.otago.ac.nz
Thu Jan 28 09:00:41 AEDT 1999
If I could follow up Lee Naish's eminently sensible advice,
may I suggest that multiconjunct quantifiers be laid out
like the Lisp 'let' expressions they so much resemble?
Here's what I mean.
(all [<vars>] % like (let (<bindings>)
<conjunction> % <expressions>)
Of course, for that to work well, implication does have to have
wider scope than conjunction, which it *must* in any sensible
assignment of operator priorities.
More information about the users