fix and elaborate upon parametric lenses

[msc-thesis1617.git] / abstract.tex

diff --git a/abstract.tex b/abstract.tex
index c8e6ed7..3e40f04 100644 (file)
--- a/abstract.tex
+++ b/abstract.tex
@@ -1,9 +1,7 @@
-\chapter*{\centering Abstract}
-\begin{quotation}
-       \centering\it\noindent
-       Okay.
-
-       hallo
-
-       hoi
-\end{quotation}
+This thesis introduces a way to connect small \gls{IoT} devices with high level
+\gls{TOP} implementations languages. It demonstrates how a new frontend for the
+class-based shallowly \gls{EDSL} called \gls{mTask} written in \gls{Clean} can
+be employed to compile \gls{IoT}-\glspl{Task} on the fly and send them to
+devices as interpretable bytecode. All of which adheres to the \gls{TOP}
+philosophy where common concepts such as \glspl{SDS} and \gls{Task}-combinators
+are available at ease.