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.
This is the manual for the Agda programming language, its type checking, compilation and editing system and related tools.
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`.