# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1476359742 -3600
# Node ID 68769db65185b6cf83adfbbbfa318f19c71ff76d
# Parent  16742bf623650c0a3a46bdb09949961f9d8d57dd
updated

diff -r 16742bf62365 -r 68769db65185 coursework/cw02.pdf
Binary file coursework/cw02.pdf has changed
diff -r 16742bf62365 -r 68769db65185 coursework/cw02.tex
--- a/coursework/cw02.tex	Sat Oct 08 16:44:11 2016 +0100
+++ b/coursework/cw02.tex	Thu Oct 13 12:55:42 2016 +0100
@@ -67,7 +67,8 @@
 \item strings are enclosed by \texttt{"\ldots"} 
 \item parentheses are \texttt{(}, \texttt{\{}, \texttt{)} and \texttt{\}}
 \item there are semicolons \texttt{;}
-\item whitespaces are either \texttt{" "} (one or more) or \texttt{$\backslash$n}
+\item whitespaces are either \texttt{" "} (one or more) or \texttt{$\backslash$n} or
+  \texttt{$\backslash$t}
 \item identifiers are letters followed by underscores \texttt{\_\!\_}, letters
 or digits
 \item numbers are \pcode{0}, \pcode{1}, \ldots and so on; give 
diff -r 16742bf62365 -r 68769db65185 slides/slides04.pdf
Binary file slides/slides04.pdf has changed
diff -r 16742bf62365 -r 68769db65185 slides/slides04.tex
--- a/slides/slides04.tex	Sat Oct 08 16:44:11 2016 +0100
+++ b/slides/slides04.tex	Thu Oct 13 12:55:42 2016 +0100
@@ -929,6 +929,26 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[c]
+
+  Normally we would have
+
+  \begin{center}
+  \bl{$(\ZERO \cdot (b \cdot c)) + ((\ZERO \cdot c) + \ONE)$}
+  \end{center}
+
+  and answer
+
+  \begin{center}
+  \bl{$Right(Right(Empty))$}
+  \end{center}\bigskip
+
+  But now we simplify to \bl{$\ONE$} and produce \bl{$Empty$}.
+
+\end{frame}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{frame}[c]
 \frametitle{Rectification}
 
 \def\arraystretch{1.05}