From 3fdc606f30571c8f00ed9f24b354e84d0b80e9df Mon Sep 17 00:00:00 2001
From: Christopher Schankula <schankuc@mcmaster.ca>
Date: Tue, 27 Feb 2018 19:40:16 -0500
Subject: [PATCH] fix map to filter on filter slide

---
 Lectures/L16_FunctProgContinued/FunctProgContinued.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Lectures/L16_FunctProgContinued/FunctProgContinued.tex b/Lectures/L16_FunctProgContinued/FunctProgContinued.tex
index 313e4bc6..ac9d8b3b 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
-- 
GitLab