- \item and showing the language interface for:
- \begin{itemize}
- \item the types;
- \item expressions, datatypes, and functions;
- \item tasks and task combinators;
- \item and \glspl{SDS}.
- \end{itemize}
+ \item demonstrating how the type system is leveraged to enforce all constraints;
+ \item showing the language interface for expressions, datatypes, and functions;
+ \item and explaining the tasks, task combinators, and \glspl{SDS}.