- For the installation instructions, see Getting Started.
- Language Reference contains a description of the Arend language.
- Tutorial contains a more gentle introduction to the Arend language.
- Libraries describes how to manage Arend libraries.
- Standard Extensions explains the language extensions implemented in the standard library.
We welcome question about the Arend language, the IntelliJ Arend plugin, the libraries and this website there.
- Introductory talk about the Arend language, which covers basic language and IDE features.