27 Feb
2002
27 Feb
'02
4:25 p.m.
On Wed, Feb 27, 2002 at 04:00:39PM +0100, Arthur Baars wrote:
In the context-free grammar proposed by Ross Paterson the following line: expix -> expi+1B [qop(n,i) expi+1x]
should be replaced by expix -> [expi+1B qop(n,i)] expi+1x
Yes. (In fact that's what I had in the revised hssource grammar, but I mistranscribed it.)