[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: End labels
Sure but we will no longer be able to benefit from the first-rate work
done by PlusCal as regards states and transitions modelization.
In fact I like PlusCal. If we consider TLA+ is a universal machine like Turing machine
(I only use the words in an unformal way), PlusCal shows in