git.iko.soy/Idris-dev
on 0222012 help sign in
Idris-dev/docs/tutorial/index.rst
35 lines 761 B history raw
1.. _tutorial-index:
3##################
4The Idris Tutorial
5##################
7The is the Idris Tutorial. It will teach you about programming in the Idris Language.
9.. note::
10 The documentation for Idris has been published under the Creative
11 Commons CC0 License. As such to the extent possible under law, *The
12 Idris Community* has waived all copyright and related or neighboring
13 rights to Documentation for Idris.
15 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
18.. toctree::
19 :maxdepth: 1
21 introduction
22 starting
23 typesfuns
24 interfaces
25 modules
26 packages
27 testing
28 interp
29 views
30 theorems
31 provisional
32 interactive
33 syntax
34 miscellany
35 conclusions