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