\begin{slide}{Testfall (1)}

\begin{verbatim}
let { x = 4 }
in  let { f = \ y -> x * y }
    in  let { x = 5 }
        in  f x
\end{verbatim}

  
\end{slide}
