.

[phd-thesis.git] / top / lang.tex

diff --git a/top/lang.tex b/top/lang.tex
index 09b4f2b..f04ad9d 100644 (file)
--- 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}