@@ -213,7 +213,7 @@ because of its type:
214 interp env (App f s) = interp env f (interp env s)
214 interp env (App f s) = interp env f (interp env s)
216−Operators and interpreters are, again, direct translations into the
216+Operators and conditionals are, again, direct translations into the
217equivalent Idris constructs. For operators, we apply the function to
217equivalent Idris constructs. For operators, we apply the function to
218its operands directly, and for ``If``, we apply the Idris
218its operands directly, and for ``If``, we apply the Idris
219``if...then...else`` construct directly.
219``if...then...else`` construct directly.