.. _tutorial-index: #########################A Crash Course in Idris 2######################### This is a crash course in Idris 2 (sort of a tutorial, but rather lessgentle I'm afraid!).It provides a brief introduction to programming in the Idris Language.It covers the core language features, assuming some experience with anexisting functional programming language such as Haskell or OCaml. This has been revised and updated from the Idris 1 tutorial. For details ofchanges since Idris 1, see :ref:`updates-index`. .. 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: http://creativecommons.org/publicdomain/zero/1.0/  .. toctree::   :maxdepth: 1    introduction   starting   typesfuns   interfaces   modules   multiplicities   packages   interp   views   theorems   interactive   miscellany   conclusions