19 May
2019
19 May
'19
9:06 p.m.
On Fri, May 17, 2019 at 10:16 PM Alexandre Duret-Lutz <adl@lrde.epita.fr> wrote:
a ##[i:j] b = a;[*i-1:j-1];b if i > 0 a ##[0:j] b = a:([*0:j];b) if a rejects [*0] a ##[0:j] b = (a;[*0:j]):b if a accepts [*0] but b rejects [*0] a ##[0:j] b = (a:b) | (a;[*0:j-1];b) if a and b both reject [*0]
I meant a and b both accept [*0] on the last line. It's implemented. -- Alexandre Duret-Lutz