git.iko.soy/Idris-dev
on 465cc1c help sign in
Idris-dev/docs/index.rst
89 lines 1.7 kB history raw
1.. Idris Manual documentation master file, created by
2 sphinx-quickstart on Sat Feb 28 20:41:47 2015.
3 You can adapt this file completely to your liking, but it should at least
4 contain the root `toctree` directive.
6Documentation for the Idris Language
7====================================
9.. note::
11 The documentation for Idris has been published under the Creative
12 Commons CC0 License. As such to the extent possible under law, *The
13 Idris Community* has waived all copyright and related or neighboring
14 rights to Documentation for Idris.
16 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
18* :ref:`tutorial-index`
19* :ref:`eff-tutorial-index`
20* :ref:`reference-index`
21* :ref:`guides-index`
24.. _tutorial:
26###################
27The Idris Tutorial
28###################
30.. toctree::
31 :maxdepth: 1
33 tutorial/introduction
34 tutorial/starting
35 tutorial/typesfuns
36 tutorial/classes
37 tutorial/modules
38 tutorial/packages
39 tutorial/interp
40 tutorial/views
41 tutorial/theorems
42 tutorial/provisional
43 tutorial/interactive
44 tutorial/syntax
45 tutorial/miscellany
46 tutorial/conclusions
48.. _effects:
50################
51Learning Effects
52################
54.. toctree::
55 :maxdepth: 1
57 effects/introduction
58 effects/state
59 effects/simpleeff
60 effects/depeff
61 effects/impleff
62 effects/hangman
63 effects/conclusions
64 effects/summary
66.. _reference:
68##################
69Language Reference
70##################
72.. toctree::
73 :maxdepth: 1
75 reference/documenting
76 reference/uniqueness-types
77 reference/ffi
78 reference/erasure
80.. _guides:
82############
83Short Guides
84############
86.. toctree::
87 :maxdepth: 1
89 guides/type-providers-ffi