Agreed about the TLA docs, but it is worth persisting, as TLA is very useful in some situations. These slides cover the basic syntax enough to get started. htt

Agreed about the TLA docs, but it is worth persisting, as TLA is very useful in some situations. These slides cover the basic syntax enough to get started. https://www.slideshare.net/ScottWlaschin/tla-for-programmers-235339832 https://www.slideshare.net/ScottWlaschin/tla-for-programmers...