updated
authorChristian Urban <christian.urban@kcl.ac.uk>
Tue, 21 Oct 2025 08:41:46 +0200
changeset 1014 8400bbdef1b7
parent 1013 1a23d87d1700
child 1015 e8ba0237f005
updated
slides/slides04.pdf
slides/slides04.tex
Binary file slides/slides04.pdf has changed
--- 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]