top | item 23488046 (no title) grndn | 5 years ago 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... discuss order hn newest StavrosK|5 years ago Thank you, that's very useful.
StavrosK|5 years ago