fix map to filter on filter slide

Lectures/L16_FunctProgContinued/FunctProgContinued.tex

@@ -262,7 +262,7 @@ map (mapSqr, [[1,2], [3, 4, 5, 6], [7, 8]])
 \item A filter is a function that takes a predicate and a list and returns the
   list of elements that satisfies the predicate
 \item Mathematical model: \item
-  $\mbox{map}: (a \rightarrow Bool) \times [a] \rightarrow [a]$
+  $\mbox{filter}: (a \rightarrow Bool) \times [a] \rightarrow [a]$
 \item Python code: \texttt{filter(func, seq)} 
 \item Example
 \bi