We are introducing language tutorials in two formats.
These are simply tutorials written in Markdown. The only thing needed is your browser. If you want to run the examples in REPL, check how to install Quint.
These tutorials are currently available in the classic format:
- Hello, world!
- REPL
- Tutorial on Booleans
- Tutorial on integers
- Tutorial on basic protocol anatomy and tests
- Tutorial on sets
If you like interactive language tutorials, we have recorded the above listed tutorials using CodeTour. You have to install two extensions:
- Quint VSCode is our language extension,
- CodeTour is the extension of replaying code tutorials.
To start a tour, open the tutorials folder in VSCode and start the tour:
