.. _tutorial-index:

####################
 The Idris Tutorial
####################

The is the Idris Tutorial. It will teach you about programming in the Idris Language.

.. note::
   This work is licensed under the Creative Commons
   Attribution-ShareAlike 4.0 International License. To view a copy of
   this license, visit http://creativecommons.org/licenses/by-sa/4.0/
   or send a letter to Creative Commons, PO Box 1866, Mountain View,
   CA 94042, USA.


.. toctree::
   :maxdepth: 1

   introduction
   starting
   typesfuns
   classes
   modules
   interp
   views
   theorems
   provisional
   interactive
   syntax
   miscellany
   conclusions