agda/doc/user-manual/contribute/index.rst

.. _contribute-index:

##################
Contribute
##################

Agda and its related libraries are hosted at Github. To contribute, you will need to
fork a repository, make the changes and then send a pull request (PR).

A code of conduct and other considerations are described in the `HACKING.md <https://github.com/agda/agda/blob/master/HACKING.md>`_
file in the root of the `Agda repository <https://github.com/agda/agda>`_.

You can also take a look at the current `Agda issues <https://github.com/agda/agda/issues>`_ to help us solve them.
You can start with the label `difficulty: easy <https://github.com/agda/agda/labels/difficulty%3A%20easy>`_
and `help wanted <https://github.com/agda/agda/labels/help%20wanted>`_.
You can also explore `all the labels <https://github.com/agda/agda/labels>`_.

.. 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.

.. toctree::
   :maxdepth: 2

   documentation