Add case...of slide, rename slides

VL1/VL1_document_structure.tex

@@ -64,11 +64,15 @@
 
 \subsubsection{Pattern matching}
 
-\slide{./content/VL1_functions_and_control_structures2.tex}
+\slide{./content/VL1_pattern_matching.tex}
+
+\subsubsection{Case... of}
+
+\slide{./content/VL1_case_of.tex}
 
 \subsubsection{Guards and recursion}
 
-\slide{./content/VL1_functions_and_control_structures3.tex}
+\slide{./content/VL1_guards_and_recursion.tex}
 
 \subsection{Lists}
 

VL1/content/VL1_case_of.tex

@@ -0,0 +1,10 @@
+We can also pattern match on the result of a real expression, not just the input. For that, we write:
+
+\begin{haskellcode}
+f :: Int -> Bool
+f x = case x - 2 of
+  2 -> True
+  5 -> True
+  y -> False
+\end{haskellcode}
+This allows more powerful pattern matching, especially when we define our own data structures (not this lecture).