- Notifications
You must be signed in to change notification settings - Fork79
-
We are experimenting with different forms of tutorials for Quint. If you have finished the tutorial, please let us know, which kind of the tutorial you like better: the CodeTour tutorial, the Markdown tutorial, or both. If you have any further suggestions about improving the tutorial, please leave a comment below. |
What form of the tutorial do you like? The CodeTour tutorial is great 50% The Markdown tutorial is great 33% Both CodeTour and Markdown tutorials are great 16% Both are not great 0% The form is ok, but the content is not 0% 6 votes· |
BetaWas this translation helpful?Give feedback.
All reactions
Replies: 2 comments 1 reply
-
In the Codetour tutorial, if I want to see the Codetour text of a previous step, say Step 5, and I am at Step 12, I need to step back seven times to get to it. It would be nice to be able to see the Step 5 text just by hovering over it (like a tooltip), without leaving Step 12. The exercises were great, very helpful. Overall I feel I learned something that is likely to stick. Nice work! |
BetaWas this translation helpful?Give feedback.
All reactions
-
Today I noticed that what I ask for above is already available. One just needs to hover the mouse over the desired step in the navigator in the left panel of VS Code and the text from that step pops out. Great! :) |
BetaWas this translation helpful?Give feedback.
All reactions
-
CodeTour tutorial is great for beginners especially. step by step instructions are thorough and makes it easy to follow. Very helpful. Thanks |
BetaWas this translation helpful?Give feedback.
All reactions
🎉 1