\begin{slide}{Anwendungen}

  \begin{itemize}
  \item Übersetzung von $\lambda$ nach CL

    entspricht Closure-Conversion und Lifting
    (beides, gleichzeitig)
  \item
    CL: feste Menge (Basis) von Kombinatoren,
    
    CC+L: Kombinatoren hängen vom Programmtext ab
  \item
    CL als Programmiersprache:
    \url{http://www.madore.org/~david/programs/unlambda/}
  \end{itemize}
Bsp: Berechnung von Fibonacci-Zahlen in Unlambda:
\begin{verbatim}
```s``s``sii`ki `k.*``s``s`ks
 ``s`k`s`ks``s``s`ks``s`k`s`kr``s`k`sikk
  `k``s`ksk
\end{verbatim}

  
\end{slide}
