Update tutorial/typesfuns.tex
Changing the operator used to construct the base case dependent pair in filter function.
commit189302482e5d966a3c62412522c317a7d47592a9
authorStuart Gale <bishboria@gmail.com>
dateSun 27 Jan 2013, 18:13 (14 years ago)
parent48ffaae
tutorial/typesfuns.tex+1−1
@@ -922,7 +922,7 @@ If the \texttt{Vect} is empty, the result is easy:
922922
923923\begin{SaveVerbatim}{vfilternil}
924924
925−filter p Nil = (_ , [])
925+filter p Nil = (_ ** [])
926926
927927\end{SaveVerbatim}
928928\useverb{vfilternil}