3 ms·
I found it easier to read TLA+ and easier to write PlusCal. This may be because of "software-first" experience.
by pwnna 8y ago
I found it easier to read TLA+ and easier to write PlusCal. This may be because of "software-first" experience.
loading thread…