Merge pull request #168 from bishboria/master
Updating incorrect operator used in the tutorial demonstrating filter and dependent pairs.
commit9174207e56be6bcef53c3f333267d12fb5a2122d
authorEdwin Brady <edwin.brady@gmail.com>
dateSun 27 Jan 2013, 09:51 (14 years ago)
parent48ffaae1893024
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}