\myacronym{DVFS}{dvfs}{dynamic voltage and frequency scaling}
\myacronym{ECO2}{eCO\textsubscript{2}}{equivalent carbon dioxide}
\myacronym{EDSL}{edsl}{embedded \glsxtrlong{DSL}}
-\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[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{IR}{ir}{intermediate representation}
\myacronym{ISR}{isr}{interrupt service routine}
\myacronym{LEAN}{lean}{language of East-Anglia and Nijmegen}
-\myacronym[category=noexpand,prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode}
+\myacronym[category=noexpand,prefixfirst={a\ },prefix={an\ }]{LED}{led}{light-emitting diode}
\myacronym[category=noexpand]{OLED}{oled}{organic \glsxtrshort{LED}}
\myacronym[category=noexpand]{OS}{os}{operating system}
\myacronym{OTA}{ota}{over-the-air}