provisional wasn't included in the index for the tutorial.
commit3292691b9ec37d54f2c0bfbac9fab4d37cb175a4
authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
dateThu 9 Nov 2017, 13:03 (9 years ago)
parentb610a76
docs/tutorial/index.rst+2−1
@@ -4,7 +4,7 @@
44The Idris Tutorial
55##################
66
7−This is the Idris Tutorial.
7+This is the Idris Tutorial.
88It provides a brief introduction to programming in the Idris Language.
99It covers the core language features, and assumes some familiarity with an
1010existing functional programming language such as Haskell or OCaml.
@@ -30,6 +30,7 @@ existing functional programming language such as Haskell or OCaml.
3030 interp
3131 views
3232 theorems
33+ provisional
3334 interactive
3435 syntax
3536 miscellany