git.iko.soy/Idris-dev
on bf4e535 help sign in
Idris-dev/docs/index.rst
117 lines 2.1 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/
19* :ref:`tutorial-index`
20* :ref:`eff-tutorial-index`
21* :ref:`faq-index`
22* :ref:`proofs-index`
23* :ref:`reference-index`
24* :ref:`guides-index`
27.. _tutorial:
29###################
30The Idris Tutorial
31###################
33.. toctree::
34 :maxdepth: 1
36 tutorial/introduction
37 tutorial/starting
38 tutorial/typesfuns
39 tutorial/classes
40 tutorial/modules
41 tutorial/packages
42 tutorial/interp
43 tutorial/views
44 tutorial/theorems
45 tutorial/provisional
46 tutorial/interactive
47 tutorial/syntax
48 tutorial/miscellany
49 tutorial/conclusions
51.. _faq:
53##########################
54Frequently Asked Questions
55##########################
57.. toctree::
58 :maxdepth: 1
60 faq/faq
62.. _effects:
64################
65Learning Effects
66################
68.. toctree::
69 :maxdepth: 1
71 effects/introduction
72 effects/state
73 effects/simpleeff
74 effects/depeff
75 effects/impleff
76 effects/hangman
77 effects/conclusions
78 effects/summary
80.. _proofs:
82###############
83Theorem Proving
84###############
86.. toctree::
87 :maxdepth: 1
89 proofs/pluscomm
90 proofs/inductive
91 proofs/patterns
92 proofs/interactive
94.. _reference:
96##################
97Language Reference
98##################
100.. toctree::
101 :maxdepth: 1
103 reference/documenting
104 reference/uniqueness-types
105 reference/ffi
106 reference/erasure
108.. _guides:
110############
111Short Guides
112############
114.. toctree::
115 :maxdepth: 1
117 guides/type-providers-ffi