Clarified the formatting in the section on `If`.
commit077291deab42fd9b662b4f6355a659cd0201c74d
authorJohn Connor <john.theman.connor@gmail.com>
dateFri 25 Mar 2016, 13:07 (11 years ago)
parent37234f1
docs/tutorial/interp.rst+1−1
@@ -140,7 +140,7 @@ informs what the types of the arguments must be:
140140 Op : (interpTy a -> interpTy b -> interpTy c) ->
141141 Expr G a -> Expr G b -> Expr G c
142142
143−Finally, if expressions make a choice given a boolean. Each branch
143+Finally, ``If`` expressions make a choice given a boolean. Each branch
144144must have the same type, and we will evaluate the branches lazily so
145145that only the branch which is taken need be evaluated:
146146