4 ms·
In my teaching experience, more people find it easier to start with PlusCal. That said, I plan to also add a lot of topics and examples that are pure TLA+.
by hwayne 4y ago
In my teaching experience, more people find it easier to start with PlusCal. That said, I plan to also add a lot of topics and examples that are pure TLA+.