> We have covered all the aspects of our "Hello, world!" example. Actually, we could have written a much shorter example, but it would not demonstrate the distinctive features of Quint.
Ouch! When I am trying to wrap my head around a new tool, I want a series of examples starting with the absolute simplest possible example.
If I can see only one new concept demonstrated at a time, each in the simplest context possible, I can quickly develop a clear understanding. By quickly, I mean a solid understanding in minutes.
Anything else just generates questions (and am I even thinking the right questions?) at a faster rate than lightbulbs.
This is great feedback, thanks! Probably the first step tutorial should just be on something very straightforward, like an hour clock or a counter. I'll file an issue to introduce something more focused.
Ouch! When I am trying to wrap my head around a new tool, I want a series of examples starting with the absolute simplest possible example.
If I can see only one new concept demonstrated at a time, each in the simplest context possible, I can quickly develop a clear understanding. By quickly, I mean a solid understanding in minutes.
Anything else just generates questions (and am I even thinking the right questions?) at a faster rate than lightbulbs.