X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=87d8af65db7d46d3f6debfa70df6c8591e5a2fa7;hb=cd9fdb167f78b9481cdd29686a1a65daffeff940;hp=6c3d258654d79d4013b20b844c398b76c578f5a4;hpb=7d430f47a575566d56625b3e8641fb78171a1f08;p=msc-thesis1617.git diff --git a/glossaries.tex b/glossaries.tex index 6c3d258..87d8af6 100644 --- a/glossaries.tex +++ b/glossaries.tex @@ -5,7 +5,8 @@ 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}} + description={is a statically typed pure lazy functional programming + language}} \newglossaryentry{iTasks}{name=\emph{iTasks}, description={is a \gls{TOP} implementation written as an \gls{EDSL} in the \gls{Clean} programming language}} @@ -33,6 +34,8 @@ browsers}} \newglossaryentry{LED}{name={LED}, description={Lighting Emitting Diode}} +\newglossaryentry{mbed}{name={\textsc{mbed}}, + description={is a programming framework for microcontrollers.}} \newcommand{\newglossacr}[2]{\newglossaryentry{#1}{ name={#1}, first={#2 (#1)},%