X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Flang.tex;fp=top%2Flang.tex;h=01e0bc11cc2822f726810e9a05872f0e43e9c4b8;hb=382f9709a872c0dfdb86e1184d07224a47c8eff3;hp=2dfbbaf1e575cebbed5224f0346f9be8e64c9ff2;hpb=5702796e5885e85b9e8dcc0d5160dccb9386b05f;p=phd-thesis.git

diff --git a/top/lang.tex b/top/lang.tex
index 2dfbbaf..01e0bc1 100644
--- a/top/lang.tex
+++ b/top/lang.tex
@@ -681,6 +681,7 @@ The \gls{MTASK} language is based on a simply-typed $\lambda$-calculus with supp
 As the language is a \gls{TOP} language, it is also enriched with a task language (see \cref{sec:top}).
 
 \section{Conclusion}
+This chapter gave an overview of the complete \gls{MTASK} \gls{DSL}.
 The \gls{MTASK} language is a rich \gls{TOP} language tailored for \gls{IOT} edge devices.
 The language is implemented as a class-based shallowly \gls{EDSL} in the pure functional host language \gls{CLEAN}.
 The language is an enriched lambda calculus as a host language.