@@ -33,7 +33,8 @@ If you haven't previously installed anything using Cabal, then Idris
3333may not be on your path. Should the Idris executable not be found
3434please ensure that you have added ``~/.cabal/bin`` to your ``$PATH``
3535environment variable. Mac OS X users may find they need to add
36−``~/Library/Haskell/bin`` instead.
36+``~/Library/Haskell/bin`` instead, and Windows users will typically
37+find that Cabal installs programs in ``%HOME%\AppData\Roaming\cabal\bin``.
3738
3839To check that installation has succeeded, and to write your first
3940Idris program, create a file called ``hello.idr`` containing the