\section{\acrlong{TOP}}


\begin{lstlisting}[language=Clean]
module Life

Start :: *World -> *World
Start w = w
\end{lstlisting}

\gls{TOP} is a recent new programming paradigm implemented as
\gls{iTasks}~\cite{achten_introduction_2015} in
the pure lazy functional language \gls{Clean}

\todo{Main terms}
The lazy functional programming language based on graph rewriting
\gls{Clean}~\cite{brus_cleanlanguage_1987}

\section{\acrlong{DSL}s}


