% Acronym
\newcommand{\myacronym}[4][]{%
% \newacronym[type=\glsdefaulttype,#1]{#2}{#3}{#4}
% Acronym
\newcommand{\myacronym}[4][]{%
% \newacronym[type=\glsdefaulttype,#1]{#2}{#3}{#4}
-\myacronym{3COWS}{3COWS}{The three ``CO'' (Composability, Comprehensibility, Correctness) winter school}
+\myacronym[category=noexpand]{3COWS}{3COWS}{The three ``CO'' (Composability, Comprehensibility, Correctness) winter school}
\myacronym{ADC}{ADC}{analog-to-digital converter}
\myacronym{ADT}{ADT}{algebraic data type}
\myacronym{API}{API}{application programming interface}
\myacronym{ARDSL}{ARDSL}{\gls{ARDUINO} \glsxtrshort{DSL}}
\myacronym{ADC}{ADC}{analog-to-digital converter}
\myacronym{ADT}{ADT}{algebraic data type}
\myacronym{API}{API}{application programming interface}
\myacronym{ARDSL}{ARDSL}{\gls{ARDUINO} \glsxtrshort{DSL}}
\myacronym{CRS}{CRS}{\gls{CLEAN} Raspberry Pi system}
\myacronym{CRTS}{CRTS}{\gls{CLEAN} Raspberry Pi temperature sensor}
\myacronym{CWS}{CWS}{\gls{CLEAN} \gls{WEMOS} system}
\myacronym{CWTS}{CWTS}{\gls{CLEAN} \gls{WEMOS} temperature sensor}
\myacronym{DHT}{DHT}{digital humidity and temperature}
\myacronym{DSL}{DSL}{domain-specific language}
\myacronym{CRS}{CRS}{\gls{CLEAN} Raspberry Pi system}
\myacronym{CRTS}{CRTS}{\gls{CLEAN} Raspberry Pi temperature sensor}
\myacronym{CWS}{CWS}{\gls{CLEAN} \gls{WEMOS} system}
\myacronym{CWTS}{CWTS}{\gls{CLEAN} \gls{WEMOS} temperature sensor}
\myacronym{DHT}{DHT}{digital humidity and temperature}
\myacronym{DSL}{DSL}{domain-specific language}
\myacronym{ECO2}{eCO\textsubscript{2}}{equivalent carbon dioxide}
\myacronym{EDSL}{eDSL}{embedded \glsxtrlong{DSL}}
\myacronym{ECO2}{eCO\textsubscript{2}}{equivalent carbon dioxide}
\myacronym{EDSL}{eDSL}{embedded \glsxtrlong{DSL}}
-\myacronym{FP}{FP}{functional programming}
-\myacronym{FRP}{FRP}{functional reactive programming}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{FP}{FP}{functional programming}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{FRP}{FRP}{functional reactive programming}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{FPGA}{FPGA}{field-programmable gate array}
\myacronym{GADT}{GADT}{generalised \glsxtrshort{ADT}}
\myacronym{GHC}{GHC}{Glasgow \gls{HASKELL} Compiler}
\myacronym{GPIO}{GPIO}{general-purpose \glsxtrlong{IO}}
\myacronym{GADT}{GADT}{generalised \glsxtrshort{ADT}}
\myacronym{GHC}{GHC}{Glasgow \gls{HASKELL} Compiler}
\myacronym{GPIO}{GPIO}{general-purpose \glsxtrlong{IO}}
\myacronym{GRS}{GRS}{graph rewriting system}
\myacronym{GUI}{GUI}{graphical \glsxtrlong{UI}}
\myacronym{HOAS}{HOAS}{high-order abstract syntax}
\myacronym{GRS}{GRS}{graph rewriting system}
\myacronym{GUI}{GUI}{graphical \glsxtrlong{UI}}
\myacronym{HOAS}{HOAS}{high-order abstract syntax}
-\myacronym{IOT}{IoT}{internet of things}
-\myacronym{IDE}{IDE}{integrated development environment}
-\myacronym{IO}{IO}{input/output}
-\myacronym{IR}{IL}{intermediate representation}
+\myacronym{IOT}{Io\kern-.3mmT}{internet of things}
+\myacronym[category=noexpand]{IDE}{IDE}{integrated development environment}
+\myacronym[category=noexpand]{IO}{I/O}{input/output}
+\myacronym{IR}{IR}{intermediate representation}
+\myacronym{ISR}{ISR}{interrupt service routine}
\myacronym{OTA}{OTA}{over-the-air}
\myacronym{PIR}{PIR}{passive infrared}
\myacronym{PRS}{PRS}{\gls{PYTHON} Raspberry Pi system}
\myacronym{OTA}{OTA}{over-the-air}
\myacronym{PIR}{PIR}{passive infrared}
\myacronym{PRS}{PRS}{\gls{PYTHON} Raspberry Pi system}
\myacronym{PRTS}{PRTS}{\gls{PYTHON} Raspberry Pi temperature sensor}
\myacronym{PWTS}{PWTS}{\gls{MICROPYTHON} \gls{WEMOS} temperature sensor}
\myacronym{QDSL}{QDSL}{quoted \glsxtrshort{DSL}}
\myacronym{PRTS}{PRTS}{\gls{PYTHON} Raspberry Pi temperature sensor}
\myacronym{PWTS}{PWTS}{\gls{MICROPYTHON} \gls{WEMOS} temperature sensor}
\myacronym{QDSL}{QDSL}{quoted \glsxtrshort{DSL}}
\myacronym{RFID}{RFID}{radio-frequency identification}
\myacronym{RTOS}{RTOS}{real-time \glsxtrshort{OS}}
\myacronym{RTS}{RTS}{run-time system}
\myacronym{RFID}{RFID}{radio-frequency identification}
\myacronym{RTOS}{RTOS}{real-time \glsxtrshort{OS}}
\myacronym{RTS}{RTS}{run-time system}
-\myacronym{SDS}{SDS}{shared data source}
-\myacronym{SN}{SN}{sensor network}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{SDS}{SDS}{shared data source}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{SN}{SN}{sensor network}
\myacronym{TOP}{TOP}{task-oriented programming}
\myacronym{TOSD}{TOSD}{task-oriented software development}
\myacronym{TRS}{TRS}{term rewriting system}
\myacronym{TOP}{TOP}{task-oriented programming}
\myacronym{TOSD}{TOSD}{task-oriented software development}
\myacronym{TRS}{TRS}{term rewriting system}
\myacronym{UI}{UI}{user interface}
\myacronym{UOD}{UoD}{universe of discourse}
\myacronym{UOG}{UoG}{University of Glasgow}
\myacronym{UI}{UI}{user interface}
\myacronym{UOD}{UoD}{universe of discourse}
\myacronym{UOG}{UoG}{University of Glasgow}
- description={is a widely used framework for programming microprocessors}
+ description={- a widely used framework for programming microcontrollers}
+}
+\newglossaryentry{MBED}{%
+ name=mbed,
+ description={- a widely used framework for programming microcontrollers designed for ARM cortex-M}