3 ms·
> 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 disti
by Nevermark 3y ago
> 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.
- abathologist 3y agoThis 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. Thanks again :) edit: https://github.com/informalsystems/quint/issues/1319 https://github.com/informalsystems/quint/issues/1319
- deleted 3y ago[deleted]