@@ -399,7 +399,7 @@ to the following:
399 | Add Expr Expr -- addition
399 | Add Expr Expr -- addition
401Evaluation will take place relative to a context mapping variables
401Evaluation will take place relative to a context mapping variables
402−(represented as ``String``s) to integer values, and can possibly fail.
402+(represented as ``String``\s) to integer values, and can possibly fail.
403We define a data type ``Eval`` to wrap an evaluator:
403We define a data type ``Eval`` to wrap an evaluator:
405.. code-block:: idris
405.. code-block:: idris