\usepackage[nolangwarn,abbreviations,nonumberlist,prefix]{glossaries-extra}
-\setabbreviationstyle{long-short}
+\setabbreviationstyle{long-short-sc}
\setabbreviationstyle[noexpand]{short-nolong}
\Addlcwords{of}
\usepackage{glossary-mcols}
% \newacronym[type=\glsdefaulttype,#1]{#2}{#3}{#4}
\newabbreviation[#1]{#2}{#3}{#4}
}
-\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{AST}{AST}{abstract syntax tree}
-\myacronym{API}{API}{application programming interface}
-\myacronym{ARDSL}{ARDSL}{\gls{ARDUINO} \glsxtrshort{DSL}}
-\myacronym[category=noexpand]{CEFP}{CEFP}{Central European \glsxtrlong{FP} School}
-\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{DVFS}{DVFS}{dynamic voltage and frequency scaling}
+\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{AST}{ast}{abstract syntax tree}
+\myacronym{API}{api}{application programming interface}
+\myacronym{ARDSL}{ardsl}{\gls{ARDUINO} \glsxtrshort{DSL}}
+\myacronym[category=noexpand]{CEFP}{cefp}{Central European \glsxtrlong{FP} School}
+\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{DVFS}{dvfs}{dynamic voltage and frequency scaling}
\myacronym{ECO2}{eCO\textsubscript{2}}{equivalent carbon dioxide}
-\myacronym{EDSL}{eDSL}{embedded \glsxtrlong{DSL}}
+\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{GADT}{GADT}{generalised \glsxtrshort{ADT}}
-\myacronym{GHC}{GHC}{Glasgow \gls{HASKELL} Compiler}
-\myacronym{GPIO}{GPIO}{general-purpose \glsxtrlong{IO}}
-\myacronym{GPL}{GPL}{general-purpose language}
-\myacronym{GRS}{GRS}{graph rewriting system}
-\myacronym{GUI}{GUI}{graphical \glsxtrlong{UI}}
-\myacronym{HOAS}{HOAS}{high-order abstract syntax}
+\myacronym{GADT}{gadt}{generalised \glsxtrshort{ADT}}
+\myacronym{GHC}{ghc}{Glasgow \gls{HASKELL} Compiler}
+\myacronym{GPIO}{gpio}{general-purpose \glsxtrlong{IO}}
+\myacronym{GPL}{gpl}{general-purpose language}
+\myacronym{GRS}{grs}{graph rewriting system}
+\myacronym{GUI}{gui}{graphical \glsxtrlong{UI}}
+\myacronym{HOAS}{hoas}{high-order abstract syntax}
\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{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
+\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{LEAN}{lean}{language of East-Anglia and Nijmegen}
\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}
-\myacronym{PIR}{PIR}{passive infrared}
-\myacronym{PFRP}{P-FRP}{priority-based \glsxtrshort{FRP}}
-\myacronym{PRS}{PRS}{\gls{PYTHON} Raspberry Pi system}
-\myacronym{PWS}{PWS}{\gls{MICROPYTHON} \gls{WEMOS} 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[category=noexpand]{RAM}{RAM}{random-access memory}
-\myacronym{RFID}{RFID}{radio-frequency identification}
-\myacronym{RTOS}{RTOS}{real-time \glsxtrshort{OS}}
-\myacronym{RTS}{RTS}{run-time system}
-\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[category=noexpand]{TCP}{TCP}{transmission control protocol}
-\myacronym{TOP}{TOP}{task-oriented programming}
-\myacronym{TOSD}{TOSD}{task-oriented software development}
-\myacronym{TRS}{TRS}{term rewriting system}
-\myacronym{TTH}{TTH}{typed \glsxtrlong{TH}}
-\myacronym{TVOC}{TVOC}{total volatile organic compounds}
-\myacronym{UI}{UI}{user interface}
-\myacronym{UOD}{UoD}{universe of discourse}
-\myacronym{UOG}{UoG}{University of Glasgow}
-\myacronym{VM}{VM}{virtual machine}
+\myacronym[category=noexpand]{OLED}{oled}{organic \glsxtrshort{LED}}
+\myacronym[category=noexpand]{OS}{os}{operating system}
+\myacronym{OTA}{ota}{over-the-air}
+\myacronym{PIR}{pir}{passive infrared}
+\myacronym{PFRP}{p-frp}{priority-based \glsxtrshort{FRP}}
+\myacronym{PRS}{prs}{\gls{PYTHON} Raspberry Pi system}
+\myacronym{PWS}{pws}{\gls{MICROPYTHON} \gls{WEMOS} 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[category=noexpand]{RAM}{ram}{random-access memory}
+\myacronym{RFID}{rfid}{radio-frequency identification}
+\myacronym{RTOS}{rtos}{real-time \glsxtrshort{OS}}
+\myacronym{RTS}{rts}{run-time system}
+\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[category=noexpand]{TCP}{tcp}{transmission control protocol}
+\myacronym{TOP}{top}{task-oriented programming}
+\myacronym{TOSD}{tosd}{task-oriented software development}
+\myacronym{TRS}{trs}{term rewriting system}
+\myacronym{TTH}{tth}{typed \glsxtrlong{TH}}
+\myacronym{TVOC}{tvoc}{total volatile organic compounds}
+\myacronym{UI}{ui}{user interface}
+\myacronym{UOD}{uod}{universe of discourse}
+\myacronym{UOG}{uog}{University of Glasgow}
+\myacronym{VM}{vm}{virtual machine}
% Glossaries
\newglossaryentry{ABC}{%
repositories / phd-thesis.git / blobdiff