@@ -16,115 +16,12 @@ Documentation for the Idris Language
1616 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
1717
1818
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`
25−
26−
27−.. _tutorial:
28−
29−###################
30−The Idris Tutorial
31−###################
32−
33−.. toctree::
34− :maxdepth: 1
35−
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
51−
52−.. _faq:
53−
54−##########################
55−Frequently Asked Questions
56−##########################
57−
5819.. toctree::
5920 :maxdepth: 1
6021
22+ tutorial/index
6123 faq/faq
62−
63−.. _effects:
64−
65−################
66−Learning Effects
67−################
68−
69−.. toctree::
70− :maxdepth: 1
71−
72− effects/introduction
73− effects/state
74− effects/simpleeff
75− effects/depeff
76− effects/impleff
77− effects/hangman
78− effects/conclusions
79− effects/summary
80−
81−.. _proofs:
82−
83−###############
84−Theorem Proving
85−###############
86−
87−.. toctree::
88− :maxdepth: 1
89−
90− proofs/pluscomm
91− proofs/inductive
92− proofs/patterns
93− proofs/interactive
94−
95−.. _reference:
96−
97−##################
98−Language Reference
99−##################
100−
101−.. toctree::
102− :maxdepth: 1
103−
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
119−
120−.. _guides:
121−
122−############
123−Short Guides
124−############
125−
126−.. toctree::
127− :maxdepth: 1
128−
129− guides/type-providers-ffi
130− guides/theorem-prover
24+ effects/index
25+ proofs/index
26+ reference/index
27+ guides/index