X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=3184d457b0635a903de8da3df1c87d4bc43bae21;hb=d37f1f0d625c081afa66e43d43df55c3741001ae;hp=b378c463c09ba05e327dc04699e340b7bc39cad9;hpb=5aa57e0cb31d64685ad4c0624c1047a4b7e77399;p=phd-thesis.git diff --git a/glossaries.tex b/glossaries.tex index b378c46..3184d45 100644 --- a/glossaries.tex +++ b/glossaries.tex @@ -17,7 +17,7 @@ \myacronym{DSL}{DSL}{domain-specific language} \myacronym{ECO2}{eCO\textsubscript{2}}{equivalent carbon dioxide} \myacronym{EDSL}{eDSL}{embedded \glsxtrlong{DSL}} -\myacronym[prefixfirst={a\ },prefix={an\ }]{FP}{functional programming}{functional programming} +\myacronym[prefixfirst={a\ },prefix={an\ }]{FP}{FP}{functional programming} \myacronym[prefixfirst={a\ },prefix={an\ }]{FRP}{FRP}{functional reactive programming} \myacronym{GADT}{GADT}{generalised \glsxtrshort{ADT}} \myacronym{GHC}{GHC}{Glasgow \gls{HASKELL} Compiler} @@ -62,6 +62,10 @@ \myacronym{UOG}{UoG}{University of Glasgow} % Glossaries +\newglossaryentry{ABC}{% + name=ABC, + description={is \gls{CLEAN}'s intermediate graph-rewriting language}, +} \newglossaryentry{MTASK}{% name=mTask, description={is a \glsxtrshort{TOP} \glsxtrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system},