@@ -29,6 +29,12 @@ any dependencies. If, however, you would like the most up to date
2929development version you can find it, as well as build instructions, on
3030GitHub at: https://github.com/idris-lang/Idris-dev.
3131
32+If you haven't previously installed anything using Cabal, then Idris
33+may not be on your path. Should the Idris executable not be found
34+please ensure that you have added ``~/.cabal/bin`` to your ``$PATH``
35+environment variable. Mac OS X users may find they need to add
36+``~/Library/Haskell/bin`` instead.
37+
3238To check that installation has succeeded, and to write your first
3339Idris program, create a file called ``hello.idr`` containing the
3440following text:
@@ -53,10 +59,7 @@ create an executable called ``hello``, which you can run:
5359 Hello world
5460
5561Please note that the dollar sign ``$`` indicates the shell prompt!
56−Should the Idris executable not be found please ensure that you have
57−added ``~/.cabal/bin`` to your ``$PATH`` environment variable. Mac OS
58−X users may find they need to add ``~/Library/Haskell/bin``
59−instead. Some useful options to the Idris command are:
62+Some useful options to the Idris command are:
6063
6164- ``-o prog`` to compile to an executable called ``prog``.
6265