slides/slides09.tex
changeset 151 df229ec49b22
parent 93 4794759139ea
child 206 85b961f1eee9
equal deleted inserted replaced
150:a2d792ed768e 151:df229ec49b22
   515 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   515 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   516 \mode<presentation>{
   516 \mode<presentation>{
   517 \begin{frame}[t]
   517 \begin{frame}[t]
   518 \frametitle{\begin{tabular}{c}Compiling Ifs\end{tabular}}
   518 \frametitle{\begin{tabular}{c}Compiling Ifs\end{tabular}}
   519 
   519 
   520 {\Large\bl{$\text{if}\;b\;\text{else}\;cs_1\;\text{then}\;cs_2$}}\bigskip\bigskip
   520 {\Large\bl{$\text{if}\;b\;\text{then}\;cs_1\;\text{else}\;cs_2$}}\bigskip\bigskip
   521 
   521 
   522 \onslide<2->{Case }\only<2>{{\bf True}:}\only<3>{{\bf False}:}
   522 \onslide<2->{Case }\only<2>{{\bf True}:}\only<3>{{\bf False}:}
   523 
   523 
   524 \begin{center}
   524 \begin{center}
   525 \begin{tikzpicture}[node distance=2mm and 4mm,
   525 \begin{tikzpicture}[node distance=2mm and 4mm,