ezasp.tex

% ----------------------------------------------------------------------
\lecture{ezasp}{ezasp}
% ------------------------------
%\part{Ezasp}
% ----------------------------------------------------------------------
%\section{Ezasp}
% ------------------------------
\input{ezasp/macros}
\input{ezasp/summary}
\section{Motivation}
\input{ezasp/motivation}
\begin{frame}{Introduction: Outline}
  \medskip
  \tableofcontents
\end{frame}
\section{Examples}
\input{ezasp/example1}
\input{ezasp/example2}
\againframe<9-13>{ezasp:summary}
\section{Variables}
\input{ezasp/example3}
\input{ezasp/example4}
\againframe<20-21>{ezasp:summary}
\section{Recursion}
\input{ezasp/example5}
\input{ezasp/example6}
\input{ezasp/traveling}
\input{ezasp/oddeven}
\againframe<30-31>{ezasp:summary}
\section{Recursion and Negation}
\input{ezasp/negative}
\againframe<40,41>{ezasp:summary}
\section{Summary}
\againframe<50>{ezasp:summary}
\section{Appendix: Foundations}
\input{ezasp/foundations}
%\input{ezasp/whatisleft}