updates
[phd-thesis.git] / top / lang.tex
index 2dfbbaf..01e0bc1 100644 (file)
@@ -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.