git.iko.soy/Idris-dev
on master help sign in
provisional wasn't included in the index for the tutorial.
3292691Jan de Muijnck-Hughes
docs/tutorial/index.rst+2−1
compare with master
unifiedsplit
@@ -4,7 +4,7 @@
4The Idris Tutorial
4The Idris Tutorial
5##################
5##################
6
6
7−This is the Idris Tutorial.
7+This is the Idris Tutorial.
8It provides a brief introduction to programming in the Idris Language.
8It provides a brief introduction to programming in the Idris Language.
9It covers the core language features, and assumes some familiarity with an
9It covers the core language features, and assumes some familiarity with an
10existing functional programming language such as Haskell or OCaml.
10existing functional programming language such as Haskell or OCaml.
@@ -30,6 +30,7 @@ existing functional programming language such as Haskell or OCaml.
30 interp
30 interp
31 views
31 views
32 theorems
32 theorems
33+ provisional
33 interactive
34 interactive
34 syntax
35 syntax
35 miscellany
36 miscellany