# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1476359827 -3600
# Node ID be599d76f592a7f0e49ba83209a51fba11c628c0
# Parent  68769db65185b6cf83adfbbbfa318f19c71ff76d# Parent  96129128d0f178c29dfdcd2e81e39b96c5042649
merged

diff -r 96129128d0f1 -r be599d76f592 coursework/cw02.pdf
Binary file coursework/cw02.pdf has changed
diff -r 96129128d0f1 -r be599d76f592 coursework/cw02.tex
--- a/coursework/cw02.tex	Mon Oct 10 14:58:03 2016 +0100
+++ b/coursework/cw02.tex	Thu Oct 13 12:57:07 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 96129128d0f1 -r be599d76f592 slides/slides04.pdf
Binary file slides/slides04.pdf has changed
diff -r 96129128d0f1 -r be599d76f592 slides/slides04.tex
--- a/slides/slides04.tex	Mon Oct 10 14:58:03 2016 +0100
+++ b/slides/slides04.tex	Thu Oct 13 12:57:07 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}