From: Mart Lubbers <mart@martlubbers.net>
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}