\begin{slide}{Semantik}

erweitere den Bereich der Werte:
\begin{verbatim}
data Val = ... | ValFun ( Value -> Value )
\end{verbatim}

erweitere Interpreter:
\begin{verbatim}
value :: Env -> Exp -> Val
value env x = case x of
    ...
    Abs { } -> 
    App { } -> 
\end{verbatim}

mit Hilfsfunktion
\begin{verbatim}
with_fun :: Val -> ...
\end{verbatim}

\end{slide}
