| 123456789101112131415161718192021222324252627282930 |
- .. _overview:
- ********
- Overview
- ********
- .. note::
- The Agda User Manual is a work-in-progress and is still incomplete.
- Contributions, additions and corrections to the Agda manual are greatly
- appreciated. To do so, please open a pull request or issue
- on the `GitHub Agda page <https://github.com/agda/agda>`_.
- This is the manual for the Agda programming language, its type checking,
- compilation and editing system and related resources/tools.
- The latest PDF version of this manual can be downloaded from `GitHub Actions
- <https://github.com/agda/agda/actions?query=workflow%3A%22User+Manual%22+is%3Asuccess>`_
- page (instruction on `how to find them
- <https://github.com/actions/upload-artifact#where-does-the-upload-go>`_).
- You can find a lot of useful resources on `Agda Wiki
- <https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.HomePage>`_
- site, like `tutorials, introductions, publications and books
- <https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Documentation>`_.
- If you're new to Agda, you should make use of the resources on Agda Wiki
- and chapter :ref:`getting-started` instead of chapter :ref:`language-index`.
- A description of the Agda language is given in chapter :ref:`language-index`.
- Guidance on how the Agda editing and compilation
- system can be used can be found in chapter :ref:`tools-index`.
|
