From b2f9108d700a30970f537408e1b5434ea0a9080c Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 2 Feb 2023 20:21:48 +0100 Subject: [PATCH] . --- top/lang.tex | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) 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} -- 2.20.1