extra cleaning options

[msc-thesis1617.git] / glossaries.tex

diff --git a/glossaries.tex b/glossaries.tex
index 748a3c6..d76add4 100644 (file)
--- 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}}