.. Agda documentation master file, created by
   sphinx-quickstart on Mon Jan  7 01:06:20 2019.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to Agda's documentation!
================================

.. image:: agda.svg
  :width: 400
  :alt: The official Agda logo

.. toctree::
   :maxdepth: 2

   overview
   getting-started/index
   language/index
   tools/index
   contribute/index
   team

Indices and tables
==================

* :ref:`genindex`
* :ref:`search`

.. * :ref:`modindex`

