On 2020-06-16 21:17 +0200, Marc Nieper-Wißkirchen wrote:
> >> the unfold thing
> >
> > I'm going with this wording:
> >
> > [snip]
> >
> > So this requires stop? to be called twice.
>
> Thanks! I think that catches the semantics correctly.
>
> Wolfgang, what do you think?

Excellent.  I've updated the unfolds in my tree accordingly.

Regards,

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"Optimization hinders evolution." --Alan J. Perlis