# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1761059396 -7200
# Node ID e8ba0237f005fc9f8803417a104bdfe36336eb2f
# Parent  8400bbdef1b790f6f8e8dba1ef91d2da3af5fffc
updated

diff -r 8400bbdef1b7 -r e8ba0237f005 slides/slides04.pdf
Binary file slides/slides04.pdf has changed
diff -r 8400bbdef1b7 -r e8ba0237f005 slides/slides04.tex
--- a/slides/slides04.tex	Tue Oct 21 08:41:46 2025 +0200
+++ b/slides/slides04.tex	Tue Oct 21 17:09:56 2025 +0200
@@ -446,35 +446,35 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
 
-% {
-% \setbeamercolor{background canvas}{bg=cream}
-% \begin{frame}[c]
-% \small
+{
+\setbeamercolor{background canvas}{bg=cream}
+\begin{frame}[c,fragile]
+\small
 
-% \begin{lstlisting}[language=Scala,numbers=none]
-% enum Rexp {
-%   case ZERO
-%   case ONE
-%   case CHAR(c: Char)
-%   case ALT(r1: Rexp, r2: Rexp)
-%   case SEQ(r1: Rexp, r2: Rexp)
-%   case STAR(r: Rexp)
-% }
-% \end{lstlisting}
+\begin{lstlisting}[language=Scala,numbers=none]
+ enum Rexp {
+   case ZERO
+   case ONE
+   case CHAR(c: Char)
+   case ALT(r1: Rexp, r2: Rexp)
+   case SEQ(r1: Rexp, r2: Rexp)
+   case STAR(r: Rexp)
+}
+\end{lstlisting}
 
-% \begin{lstlisting}[language=Scala,numbers=none]
-% enum Val {
-%   case Empty
-%   case Chr(c: Char)
-%   case Sequ(v1: Val, v2: Val)
-%   case Left(v: Val)
-%   case Right(v: Val)
-%   case Stars(vs: List[Val])
-% }
-% \end{lstlisting}
+\begin{lstlisting}[language=Scala,numbers=none]
+enum Val {
+   case Empty
+   case Chr(c: Char)
+   case Sequ(v1: Val, v2: Val)
+   case Left(v: Val)
+   case Right(v: Val)
+   case Stars(vs: List[Val])
+}
+\end{lstlisting}
 
-% \end{frame}
-% }
+\end{frame}
+}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[c]