git.iko.soy/Idris-dev
on bcce759 help sign in
Idris-dev/docs/tutorial/index.rst
37 lines 905 B history raw
1.. _tutorial-index:
3##################
4The Idris Tutorial
5##################
7This is the Idris Tutorial.
8It provides a brief introduction to programming in the Idris Language.
9It covers the core language features, and assumes some familiarity with an
10existing functional programming language such as Haskell or OCaml.
12.. note::
13 The documentation for Idris has been published under the Creative
14 Commons CC0 License. As such to the extent possible under law, *The
15 Idris Community* has waived all copyright and related or neighboring
16 rights to Documentation for Idris.
18 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
21.. toctree::
22 :maxdepth: 1
24 introduction
25 starting
26 typesfuns
27 interfaces
28 modules
29 packages
30 interp
31 views
32 theorems
33 provisional
34 interactive
35 syntax
36 miscellany
37 conclusions