@@ -10,12 +10,9 @@ Prerequisites
1010Before installing Idris, you will need to make sure you have all
1111of the necessary libraries and tools. You will need:
1212
13−- A fairly recent Haskell platform. Version 2013.2.0.0 should be
14− sufficiently recent, though it is better to be completely up to
15− date.
13+- A fairly recent Haskell platform. Version ``2013.2.0.0`` should be sufficiently recent, though it is better to be completely up to date.
1614
17−- The *GNU Multiple Precision Arithmetic Library* (GMP) is available
18− from MacPorts/Homebrew and all major Linux distributions.
15+- The *GNU Multiple Precision Arithmetic Library* (GMP) is available from MacPorts/Homebrew and all major Linux distributions.
1916
2017Downloading and Installing
2118==========================
@@ -33,7 +30,7 @@ development version you can find it, as well as build intructions, on
3330GitHub at: https://github.com/idris-lang/Idris-dev.
3431
3532To check that installation has succeeded, and to write your first
36−Idris program, create a file called “``hello.idr``” containing the
33+Idris program, create a file called ``hello.idr`` containing the
3734following text:
3835
3936.. code-block:: idris
@@ -55,18 +52,17 @@ create an executable called ``hello``, which you can run:
5552 $ ./hello
5653 Hello world
5754
58−Note that the ``$`` indicates the shell prompt! Should the Idris
59−executable not be found please ensure that you have added
60−``~/.cabal/bin`` to your ``$PATH`` environment variable. Mac OS X
61−users may find they need to use ``~/Library/Haskell/bin``
55+Please 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``
6259instead. Some useful options to the Idris command are:
6360
6461- ``-o prog`` to compile to an executable called ``prog``.
6562
66−- ``--check`` type check the file and its dependencies without
67− starting the interactive environment.
63+- ``--check`` type check the file and its dependencies without starting the interactive environment.
6864
69−- ``--help`` display usage summary and command line options
65+- ``--help`` display usage summary and command line options.
7066
7167The Interactive Environment
7268===========================