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

\subsection{Extension on the \gls{mTask}-\gls{EDSL}}
\todo{Aanpassingen aan de mTask DSL}

\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}
