
\section{Why Implement λ-Calculus?}
\subsection{}

\frame{\frametitle{\color{white} dummy}
  \begin{itemize}
    \item {\color{lightgray} What can Haskell do?}
    \item {\color{lightgray} What is λ-Calculus?}
    \item {Why Implement λ-Calculus?}
    \item {\color{lightgray} Let's Implement λ-Calculus}
    \item {\color{lightgray} Questions?}
    \item {\color{lightgray} References}
  \end{itemize}
}

\frame{\frametitle{\color{white} dummy}
\begin{itemize}
  \item<1->  {\normalsize My interest in researching}
  \item<1->[]{\normalsize programming languages}
  \item<2->  {\normalsize Implementing λ-calculus in Haskell}
  \item<2->[]{\normalsize could teach us a lot in}
  \item<2->[]{\normalsize programming languages}
  \item<3->  {\normalsize It's my most influential Haskell exercise}
\end{itemize}
}

\frame{\frametitle{\color{white} dummy}
\begin{itemize}
  \item[]{}
  \item[]{}
  \item[]{\normalsize Let's {\color{darkblue}
          \jref{http://learnyouahaskell.com/}{Learn}}
          \sout{Haskell The Hard Way}}
  \item[]{\normalsize \color{darkblue}
          \jref{http://learnyouahaskell.com/}{You a Haskell For Great Good!}}
  \item[]{}
  \item[]{}
\end{itemize}
}

\ftc{But before we started...}

\frame{\frametitle{\color{white} dummy}
\begin{itemize}
  \item[]{}
  \item<1->{No parsing here}
  \item<2->{Parse tree {\normalsize (S-expression)} interpreter only}
  \item<3->{Haskell is also good at parsing}
  \item<4->{e.g. parser combinator and parsec}
  \item[]{}
\end{itemize}
}
