@@ -15,26 +15,12 @@ Documentation for the Idris Language
1515
1616 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
1717
18−* :ref:`reference-index`
1918* :ref:`tutorial-index`
2019* :ref:`eff-tutorial-index`
20+* :ref:`reference-index`
2121* :ref:`guides-index`
2222
2323
24−.. _reference:
25−
26−##################
27−Language Reference
28−##################
29−
30−.. toctree::
31− :maxdepth: 1
32−
33− reference/documenting
34− reference/uniqueness-types
35− reference/ffi
36− reference/erasure
37−
3824.. _tutorial:
3925
4026###################
@@ -76,6 +62,20 @@ Learning Effects
7662 effects/conclusions
7763 effects/summary
7864
65+.. _reference:
66+
67+##################
68+Language Reference
69+##################
70+
71+.. toctree::
72+ :maxdepth: 1
73+
74+ reference/documenting
75+ reference/uniqueness-types
76+ reference/ffi
77+ reference/erasure
78+
7979.. _guides:
8080
8181############