% Acronyms
\newacronym{ADT}{ADT}{algebraic data type}
\newacronym{DSL}{DSL}{domain-specific language}
\newacronym{EDSL}{eDSL}{embedded \acrshort{DSL}}
\newacronym{GADT}{GADT}{generalised \acrshort{ADT}}
\newacronym{GHC}{GHC}{Glasgow Haskell Compiler}
\newacronym{GPL}{GPL}{general-purpose language}
\newacronym{FP}{FP}{functional programming}
\newacronym{GRS}{GRS}{graph rewriting system}
\newacronym{GUI}{GUI}{graphical \acrlong{UI}}
\newacronym{IOT}{IoT}{internet of things}
\newacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
\newacronym{TOP}{TOP}{task-oriented programming}
\newacronym{TOSD}{TOSD}{task-oriented software development}
\newacronym{TRS}{TRS}{term rewriting system}
\newacronym{RFID}{RFID}{radio-frequency identification}
\newacronym{SN}{SN}{sensor network}
\newacronym{BLE}{BLE}{Bluetooth low energy}
\newacronym{API}{API}{application programming interface}
\newacronym{OS}{OS}{operating system}
\newacronym{RTOS}{RTOS}{real-time \acrshort{OS}}
\newacronym{OTA}{OTA}{over-the-air}
\newacronym{MCU}{MCU}{microcontroller unit}
\newacronym{UI}{UI}{user interface}
\newacronym{UOD}{UoD}{universe of discourse}
\newacronym{SDS}{SDS}{shared data source}

% Glossaries
\newglossaryentry{MTASK}{%
	name=mTask,
	description={is a \acrshort{TOP} \acrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system.},
}
\newglossaryentry{ITASK}{%
	name=iTask,
	description={is a \acrshort{TOP} \acrshort{EDSL} for creating distributed multi-user collaborative web applications.},
}
\newglossaryentry{CLEAN}{%
	name=Clean,
	description={Clean \acrlong{LEAN}, a pure lazy functional programming language based on graph rewriting}
}
\newglossaryentry{HASKELL}{%
	name=Haskell,
	description={is a pure lazy functional programming language designed by a committe as a concept language}
}
\newglossaryentry{HASKELL98}{%
	name=Haskell98,
	description={is a standardised version of \gls{HASKELL}}
}
