@@ -140,7 +140,7 @@ informs what the types of the arguments must be:
140 Op : (interpTy a -> interpTy b -> interpTy c) ->
140 Op : (interpTy a -> interpTy b -> interpTy c) ->
141 Expr G a -> Expr G b -> Expr G c
141 Expr G a -> Expr G b -> Expr G c
143−Finally, if expressions make a choice given a boolean. Each branch
143+Finally, ``If`` expressions make a choice given a boolean. Each branch
144must have the same type, and we will evaluate the branches lazily so
144must have the same type, and we will evaluate the branches lazily so
145that only the branch which is taken need be evaluated:
145that only the branch which is taken need be evaluated: