git.iko.soy/Idris-dev
on master help sign in
Documentation tweaks
0f65b89Edwin Brady
docs/index.rst+15−15
compare with master
unifiedsplit
@@ -15,26 +15,12 @@ Documentation for the Idris Language
15
15
16 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
16 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
17
17
18−* :ref:`reference-index`
19* :ref:`tutorial-index`
18* :ref:`tutorial-index`
20* :ref:`eff-tutorial-index`
19* :ref:`eff-tutorial-index`
20+* :ref:`reference-index`
21* :ref:`guides-index`
21* :ref:`guides-index`
22
22
23
23
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−
38.. _tutorial:
24.. _tutorial:
39
25
40###################
26###################
@@ -76,6 +62,20 @@ Learning Effects
76 effects/conclusions
62 effects/conclusions
77 effects/summary
63 effects/summary
78
64
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+
79.. _guides:
79.. _guides:
80
80
81############
81############
docs/tutorial/introduction.rst+3−3
@@ -1,8 +1,8 @@
1.. _sect-intro:
1.. _sect-intro:
2
2
3−===========
3+============
4−Introducton
4+Introduction
5−===========
5+============
6
6
7In conventional programming languages, there is a clear distinction
7In conventional programming languages, there is a clear distinction
8between *types* and *values*. For example, in `Haskell
8between *types* and *values*. For example, in `Haskell