\section{mTask}
\subsection{Extension on the \gls{mTask}-\gls{EDSL}}
Some functionality of the original \gls{mTask}-\gls{EDSL} will not be used in
this sytem. Conversely, some functionality wanted was not available in the
original system. Due to the nature of class based shallow embedding this is
very easy to solve. A type housing the \gls{EDSL} does not have to implement
all the available classes. Moreover, classes can be added at will without
interfering with the existing views.
\todo{Aanpassingen aan de mTask DSL}

\subsection{Semantics}
\todo{Uitleggen wat het systeem precies doet}

\subsection{Bytecode compilation view}
\todo{Uitwijden hierop}

\section{iTasks}
\subsection{Shares}
\todo{Semantiek van shares, hoe ze in iTasks zijn, hoe typering}

\subsection{Lifting}
\todo{Lift mTask taken naar echte taken, hoe werkt dat?}

\section{Demo}
\todo{Wat voorbeeld code}
