@@ -26,7 +26,7 @@ prerequisites, is to type:
2626
2727This will install the latest version released on Hackage, along with
2828any 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
3030GitHub at: https://github.com/idris-lang/Idris-dev.
3131
3232To check that installation has succeeded, and to write your first