\begin{slide}{Let und Lambda}

  \begin{itemize}
  \item 
\verb|let { x = A } in Q|

kann übersetzt werden in

\verb|(\ x -> Q) A|

\item \verb|let { x = a , y = b } in Q|

wird übersetzt in \dots

\bigskip

\item
  beachte: das ist nicht das \verb|let| aus Haskell

  \end{itemize}


\end{slide}
