diff --git a/Lectures/L16_FunctProgContinued/FunctProgContinued.tex b/Lectures/L16_FunctProgContinued/FunctProgContinued.tex index 313e4bc63a674fb7560bb685dce76fe5b7d67040..ac9d8b3baf4e6d520a9619dcc6a4e634692e4283 100755 --- a/Lectures/L16_FunctProgContinued/FunctProgContinued.tex +++ b/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