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...