@@ -144,7 +144,7 @@ functions in ``Eff``, as follows:
144144
145145**An implementation detail (aside):** The ``call`` function converts
146146an ``Effect`` to a function in ``Eff``, given a proof that the effect
147−is available. This proof can be constructed automatically by , since
147+is available. This proof can be constructed automatically, since
148148it is essentially an index into a statically known list of effects:
149149
150150.. code-block:: idris