Documentation tweaks

idris-lang · Mar 21, 2015 · 0f65b89 · 0f65b89
1 parent abe0f32
commit 0f65b89
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 18 deletions.
diff --git a/docs/index.rst b/docs/index.rst
@@ -15,26 +15,12 @@ Documentation for the Idris Language
 
    More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
 
-* :ref:`reference-index`
 * :ref:`tutorial-index`
 * :ref:`eff-tutorial-index`
+* :ref:`reference-index`
 * :ref:`guides-index`
 
 
-.. _reference:
-
-##################
-Language Reference
-##################
-
-.. toctree::
-   :maxdepth: 1
-
-   reference/documenting
-   reference/uniqueness-types
-   reference/ffi
-   reference/erasure
-
 .. _tutorial:
 
 ###################
@@ -76,6 +62,20 @@ Learning Effects
    effects/conclusions
    effects/summary
 
+.. _reference:
+
+##################
+Language Reference
+##################
+
+.. toctree::
+   :maxdepth: 1
+
+   reference/documenting
+   reference/uniqueness-types
+   reference/ffi
+   reference/erasure
+
 .. _guides:
 
 ############

diff --git a/docs/tutorial/introduction.rst b/docs/tutorial/introduction.rst
@@ -1,8 +1,8 @@
 .. _sect-intro:
 
-===========
-Introducton
-===========
+============
+Introduction
+============
 
 In conventional programming languages, there is a clear distinction
 between *types* and *values*. For example, in `Haskell