process comments

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

diff --git a/top/finale.tex b/top/finale.tex
index 1b65cfc..b50d05b 100644 (file)
--- a/top/finale.tex
+++ b/top/finale.tex
@@ -30,7 +30,7 @@ However, it is not straightforward to run \gls{TOP} systems on resource-constrai
 The \gls{MTASK} system bridges this gap by providing a \gls{TOP} programming language for edge devices.
 It is a full-fledged \gls{TOP} language hosted in a tiny \gls{FP} language.
 Besides the usual \gls{FP} constructs, it contains basic tasks, task combinators, support for sensors and actuators, and interrupts.
-It integrates seamlessly in \gls{ITASK}, a \gls{TOP} system for interactive web applications.
+It integrates seamlessly into \gls{ITASK}, a \gls{TOP} system for interactive web applications.
 In \gls{ITASK}, abstractions are available for the gritty details of interactive web applications such as program distribution, web applications, data storage, and user management.
 The \gls{MTASK} system abstracts away of all technicalities specific to edge devices such as communication, abstractions for sensors and actuators, interrupts and (multi) task scheduling.
 When \gls{MTASK} is used together with \gls{MTASK}, all layers of the \gls{IOT} application are programmed from a single declarative specification.