updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 13 Oct 2016 12:55:42 +0100
changeset 447 68769db65185
parent 446 16742bf62365
child 449 be599d76f592
updated
coursework/cw02.pdf
coursework/cw02.tex
slides/slides04.pdf
slides/slides04.tex
Binary file coursework/cw02.pdf has changed
--- 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 
Binary file slides/slides04.pdf has changed
--- 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}