From: Mart Lubbers Date: Thu, 2 Feb 2023 19:21:48 +0000 (+0100) Subject: . X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=b2f9108d700a30970f537408e1b5434ea0a9080c;p=phd-thesis.git . --- diff --git a/top/lang.tex b/top/lang.tex index 09b4f2b..f04ad9d 100644 --- a/top/lang.tex +++ b/top/lang.tex @@ -13,13 +13,9 @@ \begin{itemize} \item introducing the setup of the language; \item describing briefly the various interpretations; - \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}. \end{itemize} \end{chapterabstract}