X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=inline;f=glossaries.tex;h=d76add4b39467f131c8cb1ced78e6670206be573;hb=536f0a97037341dfeace97a7fb8f760aa12e978a;hp=748a3c617284ef52a94c418481d0a80f125759d0;hpb=9662cccfffecb70d621318b5f3a35e46b6029f3c;p=msc-thesis1617.git

diff --git a/glossaries.tex b/glossaries.tex
index 748a3c6..d76add4 100644
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -2,13 +2,13 @@
 	description={is a cheap and popular microcontroller that is widely used for
 	rapid prototyping}}
 \newglossaryentry{Clean}{name={\emph{Clean}},
-	description={is a staticly typed pure lazy functional programming language based on graph
-		rewriting}}
+	description={is a statically typed pure lazy functional programming
+	language based on graph rewriting}}
 \newglossaryentry{Haskell}{name={\emph{Haskell}},
 	description={is a staticly typed pure lazy functional programming language}}
 \newglossaryentry{iTasks}{name=\emph{iTasks},
-	description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL}
-	in the \gls{Clean} programming language}}
+	description={is a \acrshort{TOP} implementation written as an
+	\acrshort{EDSL} in the \gls{Clean} programming language}}
 \newglossaryentry{Ivory}{name={\emph{Ivory}},
 	description={is a type-safe \gls{EDSL} designed to generate \gls{C}-code
 	for high-assurance low-level systems}}