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