\myacronym{ADT}{ADT}{algebraic data type}
\myacronym{API}{API}{application programming interface}
\myacronym{ARDSL}{ARDSL}{\gls{ARDUINO} \glsxtrshort{DSL}}
-\myacronym{BLE}{BLE}{Bluetooth low energy}
\myacronym{CEFP}{CEFP}{central European summer school of \glsxtrlong{FP}}
\myacronym{CRS}{CRS}{\gls{CLEAN} Raspberry Pi system}
\myacronym{CRTS}{CRTS}{\gls{CLEAN} Raspberry Pi temperature sensor}
\myacronym{DSL}{DSL}{domain-specific language}
\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{GADT}{GADT}{generalised \glsxtrshort{ADT}}
\myacronym{GHC}{GHC}{Glasgow \gls{HASKELL} Compiler}
\myacronym{GPIO}{GPIO}{general-purpose \glsxtrlong{IO}}
\myacronym{IO}{IO}{input/output}
\myacronym{IR}{IL}{intermediate representation}
\myacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
-\myacronym{LED}{LED}{light-emitting diode}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode}
\myacronym{OLED}{OLED}{organic \glsxtrlong{LED}}
\myacronym{OS}{OS}{operating system}
\myacronym{OTA}{OTA}{over-the-air}
\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{SLOC}{SLOC}{source lines of code}
\myacronym{TH}{TH}{Template \gls{HASKELL}}
\myacronym{TCP}{TCP}{transmission control protocol}