4 ms·
Haven't used it, but this site looks like a great resource and is in my queue to go through. https://learntla.com/introduction/ https://learntla.com/introducti
by BoiledCabbage 8y ago
Haven't used it, but this site looks like a great resource and is in my queue to go through.
https://learntla.com/introduction/ https://learntla.com/introduction/
- Jtsummers 8y agoI was working on gathering my links and that was one I was going to suggest. It's a very approachable intro, and also written by Hillel. I've added his (now published) book to my queue to purchase and read through. I may do that sooner rather than later so I can provide feedback here on other discussions regarding it, beyond saying that it exists. The talk linked at the top of that page is pretty good as well as a tutorial, though hardly complete. As I recall he presents his examples well and has good motivating examples for using TLA+ in it.