@@ -29,6 +29,13 @@ 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, and Windows users will typically
37+find that Cabal installs programs in ``%HOME%\AppData\Roaming\cabal\bin``.
38+
3239To check that installation has succeeded, and to write your first
3340Idris program, create a file called ``hello.idr`` containing the
3441following text:
@@ -53,10 +60,7 @@ create an executable called ``hello``, which you can run:
5360 Hello world
5461
5562Please 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:
63+Some useful options to the Idris command are:
6064
6165- ``-o prog`` to compile to an executable called ``prog``.
6266