Merge pull request #3060 from jackolantern/fix-interp-formatting
Clarified the formatting in the section on `If`.
commitc47296a1538ff40467340b4ca45243bc64873085
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateFri 25 Mar 2016, 18:40 (11 years ago)
parent37234f1077291d
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