.. _tutorial-index:

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

This is the Idris Tutorial.
It provides a brief introduction to programming in the Idris Language.
It covers the core language features, and assumes some familiarity with an
existing functional programming language such as Haskell or OCaml.

.. note::
   The documentation for Idris has been published under the Creative
   Commons CC0 License. As such to the extent possible under law, *The
   Idris Community* has waived all copyright and related or neighboring
   rights to Documentation for Idris.

   More information concerning the CC0 can be found online at: https://creativecommons.org/publicdomain/zero/1.0/


.. toctree::
   :maxdepth: 1

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