[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Jumping to end of process in PlusCal?
Thanks! This approach is much nicer.
On Friday, July 29, 2016 at 11:58:31 AM UTC-7, Leslie Lamport wrote:
There is an implicit label "Done" at the end of the process, so you can write