more updates

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

diff --git a/top/mtask.tex b/top/mtask.tex
index 4a12855..25200c4 100644 (file)
--- a/top/mtask.tex
+++ b/top/mtask.tex
@@ -173,7 +173,7 @@ The \gls{MTASK} language consists of a host language---a simply-typed $\lambda$-
 \section{Types}
 To leverage the type checker of the host language, types in the \gls{MTASK} language are expressed as types in the host language, to make the language type safe.
 However, not all types in the host language are suitable for microprocessors that may only have \qty{2}{\kibi\byte} of \gls{RAM} so class constraints are therefore added to the \gls{DSL} functions.
-The most used class constraint is the \cleaninline{type} class collection containing functions for serialization, printing, \gls{ITASK} constraints etc.
+The most used class constraint is the \cleaninline{type} class collection containing functions for serialization, printing, \gls{ITASK} constraints \etc.
 Many of these functions can be derived using generic programming.
 An even stronger restriction on types is defined for types that have a stack representation.
 This \cleaninline{basicType} class has instances for many \gls{CLEAN} basic types such as \cleaninline{Int}, \cleaninline{Real} and \cleaninline{Bool}.