X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=3184d457b0635a903de8da3df1c87d4bc43bae21;hb=4e17593a20e8c3af4c82a0b14bc648ddc180c25d;hp=a1fdb8724b3e007cb9d65aad74bb6b6020c0f808;hpb=56e0224a0dc1e20920e85fa5f51e9616d3f495cd;p=phd-thesis.git

diff --git a/glossaries.tex b/glossaries.tex
index a1fdb87..3184d45 100644
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -8,7 +8,6 @@
 \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}
@@ -18,8 +17,8 @@
 \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}}
@@ -29,10 +28,11 @@
 \myacronym{HOAS}{HOAS}{high-order abstract syntax}
 \myacronym{IOT}{Io\kern-.3mmT}{internet of things}
 \myacronym{IDE}{IDE}{integrated development environment}
-\myacronym{IO}{IO}{input/output}
-\myacronym{IR}{IL}{intermediate representation}
+\myacronym{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{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}
@@ -46,8 +46,8 @@
 \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}
@@ -62,6 +62,10 @@
 \myacronym{UOG}{UoG}{University of Glasgow}
 
 % Glossaries
+\newglossaryentry{ABC}{%
+	name=ABC,
+	description={is \gls{CLEAN}'s intermediate graph-rewriting language},
+}
 \newglossaryentry{MTASK}{%
 	name=mTask,
 	description={is a \glsxtrshort{TOP} \glsxtrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system},
@@ -104,11 +108,11 @@
 }
 \newglossaryentry{I2C}{
 	name=I\textsuperscript{2}C,
-	description={is a simple serial communication protocol often used to connect sensors to microcontrollers}
+	description={(Inter-Integrated Circuit) is a simple serial communication protocol often used to connect sensors to microcontrollers}
 }
 \newglossaryentry{SPI}{
 	name=SPI,
-	description={is a synchronous serial communication protocol often used to connect sensors to microcontrollers}
+	description={(Serial Peripheral Interface) is a synchronous serial communication protocol often used to connect sensors to microcontrollers}
 }
 \newglossaryentry{TINYML}{
 	name=TinyML,