Commit f9b3ff49 authored by pdfrod's avatar pdfrod Committed by Austin Seipp
Browse files

Fix typo in User's Guide


Signed-off-by: default avatarAustin Seipp <austin@well-typed.com>
parent fa8b20af
......@@ -8675,7 +8675,7 @@ proc (x,y) ->
which is translated to
<screen>
arr (\ (x,y) -> if f x y then Left x else Right y) >>>
(arr (\x -> x+1) >>> f) ||| (arr (\y -> y+2) >>> g)
(arr (\x -> x+1) >>> g) ||| (arr (\y -> y+2) >>> h)
</screen>
Since the translation uses <function>|||</function>,
the arrow concerned must belong to the <literal>ArrowChoice</literal> class.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment