Learn the language with CodeTour Tutorials

We are introducing language tutorials in two formats.

1. Classic tutorials

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!
• Tutorial on Booleans
• Tutorial on integers
• Tutorial on basic protocol anatomy and tests
• Tutorial on sets

2. CodeTour tutorials

If you like interactive language tutorials, we have recorded the above listed tutorials using CodeTour (opens in a new tab). You have to install two extensions:

• Quint VSCode (opens in a new tab) is our language extension,
• CodeTour (opens in a new tab) is the extension of replaying code tutorials.

To start a tour, open the codetour (opens in a new tab) folder in VSCode and start the tour: