\begin{slide}{Motivation}

Das geht bisher gar nicht:
\begin{verbatim}
let { f = \ x -> if x > 0 
                 then x * f (x -1) else 1 
    } in  f 5
\end{verbatim}
(Bezeichner $f$ ist nicht sichtbar)

Lösung:
\begin{verbatim}
( rec f ( \ x -> if x > 0 
                 then x * f (x -1) else 1 )) 5
\end{verbatim}

mit neuem AST-Knotentyp \verb|rec|

\end{slide}
