git.iko.soy/Idris-dev
on 54e4e41 help sign in
Idris-dev/docs/index.rst
130 lines 2.4 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/testing
43 tutorial/interp
44 tutorial/views
45 tutorial/theorems
46 tutorial/provisional
47 tutorial/interactive
48 tutorial/syntax
49 tutorial/miscellany
50 tutorial/conclusions
52.. _faq:
54##########################
55Frequently Asked Questions
56##########################
58.. toctree::
59 :maxdepth: 1
61 faq/faq
63.. _effects:
65################
66Learning Effects
67################
69.. toctree::
70 :maxdepth: 1
72 effects/introduction
73 effects/state
74 effects/simpleeff
75 effects/depeff
76 effects/impleff
77 effects/hangman
78 effects/conclusions
79 effects/summary
81.. _proofs:
83###############
84Theorem Proving
85###############
87.. toctree::
88 :maxdepth: 1
90 proofs/pluscomm
91 proofs/inductive
92 proofs/patterns
93 proofs/interactive
95.. _reference:
97##################
98Language Reference
99##################
101.. toctree::
102 :maxdepth: 1
104 reference/documenting
105 reference/packages
106 reference/uniqueness-types
107 reference/ffi
108 reference/syntax-guide
109 reference/erasure
110 reference/ide-protocol
111 reference/semantic-highlighting
112 reference/repl
113 reference/tactics
114 reference/compilation
115 reference/language-features
116 reference/language-extensions
117 reference/elaborator-reflection
118 reference/misc
120.. _guides:
122############
123Short Guides
124############
126.. toctree::
127 :maxdepth: 1
129 guides/type-providers-ffi
130 guides/theorem-prover