0 votes
by Bart Nelson (420 points)
The words [[ and ]] which switch into and out of the POSTPONE state were introduced a while ago. They turn out to be very useful.

But the documentation (section 4.29.2) states ...

"The ]] ... [[ notation is experimental and my be removed in a future version"

Can you confirm that these words are now official?

1 Answer

0 votes
by Stephen Pelc (3.3k points)
Not yet. Recognisers are not yet properly standardised.
...