git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2214 from nathan/patch-1
6c1237bJan de Muijnck-Hughes
docs/tutorial/starting.rst+1−1
compare with master
unifiedsplit
@@ -26,7 +26,7 @@ prerequisites, is to type:
26
26
27This will install the latest version released on Hackage, along with
27This will install the latest version released on Hackage, along with
28any dependencies. If, however, you would like the most up to date
28any dependencies. If, however, you would like the most up to date
29−development version you can find it, as well as build intructions, on
29+development version you can find it, as well as build instructions, on
30GitHub at: https://github.com/idris-lang/Idris-dev.
30GitHub at: https://github.com/idris-lang/Idris-dev.
31
31
32To check that installation has succeeded, and to write your first
32To check that installation has succeeded, and to write your first