3 ms·
Seems a lot more accessible than TLA+. I have tried to get started with TLA+ a few times and never been able to get going so hopefully this yields better result
by jpgvm 10y ago
Seems a lot more accessible than TLA+. I have tried to get started with TLA+ a few times and never been able to get going so hopefully this yields better results.
- pron 10y agoDid you try the hyperbook tutorial? I found it significantly easier (and better documented) than learning almost any new programming language. The main concept -- that of the action -- is confusing at first, but once you understand it (which can be gradual), there's really nothing more to learn...