# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1761028906 -7200
# Node ID 7c6ff51f443e2c2ce324033bb6c9fe4d84c96fab
# Parent  fbe868b97e33814cbd6d9fdc4c7ccb6eb17bf020
updated

diff -r fbe868b97e33 -r 7c6ff51f443e slides/slides04.pdf
Binary file slides/slides04.pdf has changed
diff -r fbe868b97e33 -r 7c6ff51f443e slides/slides04.tex
--- a/slides/slides04.tex	Mon Oct 20 22:18:21 2025 +0200
+++ b/slides/slides04.tex	Tue Oct 21 08:41:46 2025 +0200
@@ -444,8 +444,37 @@
 
 \end{frame}
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
 
+% {
+% \setbeamercolor{background canvas}{bg=cream}
+% \begin{frame}[c]
+% \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 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}
+% }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[c]