git.iko.soy/Idris-dev
on f572cd0 help sign in
Idris-dev/docs/tutorial/index.rst
32 lines 656 B history raw
1.. _tutorial-index:
3####################
4 The Idris Tutorial
5####################
7The is the Idris Tutorial. It will teach you about programming in the Idris Language.
9.. note::
10 This work is licensed under the Creative Commons
11 Attribution-ShareAlike 4.0 International License. To view a copy of
12 this license, visit http://creativecommons.org/licenses/by-sa/4.0/
13 or send a letter to Creative Commons, PO Box 1866, Mountain View,
14 CA 94042, USA.
17.. toctree::
18 :maxdepth: 1
20 introduction
21 starting
22 typesfuns
23 classes
24 modules
25 interp
26 views
27 theorems
28 provisional
29 interactive
30 syntax
31 miscellany
32 conclusions