slides/slides04.tex
changeset 1014 8400bbdef1b7
parent 1013 1a23d87d1700
child 1015 e8ba0237f005
equal deleted inserted replaced
1013:1a23d87d1700 1014:8400bbdef1b7
   442 {\small\lstinputlisting[language=Scala,numbers=none,
   442 {\small\lstinputlisting[language=Scala,numbers=none,
   443 xleftmargin=-5mm] {../progs/app02.scala}}
   443 xleftmargin=-5mm] {../progs/app02.scala}}
   444 
   444 
   445 \end{frame}
   445 \end{frame}
   446 
   446 
   447 
   447 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
   448 
   448 
       
   449 % {
       
   450 % \setbeamercolor{background canvas}{bg=cream}
       
   451 % \begin{frame}[c]
       
   452 % \small
       
   453 
       
   454 % \begin{lstlisting}[language=Scala,numbers=none]
       
   455 % enum Rexp {
       
   456 %   case ZERO
       
   457 %   case ONE
       
   458 %   case CHAR(c: Char)
       
   459 %   case ALT(r1: Rexp, r2: Rexp)
       
   460 %   case SEQ(r1: Rexp, r2: Rexp)
       
   461 %   case STAR(r: Rexp)
       
   462 % }
       
   463 % \end{lstlisting}
       
   464 
       
   465 % \begin{lstlisting}[language=Scala,numbers=none]
       
   466 % enum Val {
       
   467 %   case Empty
       
   468 %   case Chr(c: Char)
       
   469 %   case Sequ(v1: Val, v2: Val)
       
   470 %   case Left(v: Val)
       
   471 %   case Right(v: Val)
       
   472 %   case Stars(vs: List[Val])
       
   473 % }
       
   474 % \end{lstlisting}
       
   475 
       
   476 % \end{frame}
       
   477 % }
   449 
   478 
   450 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   479 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   451 \begin{frame}[c]
   480 \begin{frame}[c]
   452 
   481 
   453 \begin{textblock}{10}(3,5)
   482 \begin{textblock}{10}(3,5)