X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Ffinale.tex;fp=top%2Ffinale.tex;h=b50d05bb34c89e459348839f1b840819efc21853;hb=8e40178e9c5dae52e0006f480fa4d385f745ce1d;hp=1b65cfc08cf3b471c0e18ed7aec42d353dc54b24;hpb=1241585df879e6723b374239bcc724cc5867621c;p=phd-thesis.git

diff --git a/top/finale.tex b/top/finale.tex
index 1b65cfc..b50d05b 100644
--- 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.