[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