% Acronym
\newcommand{\myacronym}[4][]{%
% \newacronym[type=\glsdefaulttype,#1]{#2}{#3}{#4}
- \newacronym[#1]{#2}{#3}{#4}
+ \newabbreviation[#1]{#2}{#3}{#4}
}
\myacronym{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{ARDSL}{ARDSL}{\glsentrytext{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{CWS}{CWS}{\gls{CLEAN} \gls{WEMOS} system}
-\myacronym{CWTS}{CWTS}{\gls{CLEAN} \gls{WEMOS} temperature sensor}
+\myacronym{CRS}{CRS}{\glsentrytext{CLEAN} Raspberry Pi system}
+\myacronym{CRTS}{CRTS}{\glsentrytext{CLEAN} Raspberry Pi temperature sensor}
+\myacronym{CWS}{CWS}{\glsentrytext{CLEAN} \glsentrytext{WEMOS} system}
+\myacronym{CWTS}{CWTS}{\glsentrytext{CLEAN} \glsentrytext{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{FP}{FP}{functional programming}
\myacronym{FRP}{FRP}{functional reactive programming}
\myacronym{GADT}{GADT}{generalised \glsxtrshort{ADT}}
-\myacronym{GHC}{GHC}{Glasgow \gls{HASKELL} Compiler}
+\myacronym{GHC}{GHC}{Glasgow \glsentrytext{HASKELL} Compiler}
\myacronym{GPIO}{GPIO}{general-purpose \glsxtrlong{IO}}
\myacronym{GPL}{GPL}{general-purpose language}
\myacronym{GRS}{GRS}{graph rewriting system}
\myacronym{OS}{OS}{operating system}
\myacronym{OTA}{OTA}{over-the-air}
\myacronym{PIR}{PIR}{passive infrared}
-\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{PRS}{PRS}{\glsentrytext{PYTHON} Raspberry Pi system}
+\myacronym{PWS}{PWS}{\glsentrytext{MICROPYTHON} \glsentrytext{WEMOS} system}
+\myacronym{PRTS}{PRTS}{\glsentrytext{PYTHON} Raspberry Pi temperature sensor}
+\myacronym{PWTS}{PWTS}{\glsentrytext{MICROPYTHON} \glsentrytext{WEMOS} temperature sensor}
\myacronym{QDSL}{QDSL}{quoted \glsxtrshort{DSL}}
\myacronym{RAM}{RAM}{random-access memory}
\myacronym{RFID}{RFID}{radio-frequency identification}
\myacronym{SDS}{SDS}{shared data source}
\myacronym{SN}{SN}{sensor network}
\myacronym{SLOC}{SLOC}{source lines of code}
-\myacronym{TH}{TH}{Template \gls{HASKELL}}
+\myacronym{TH}{TH}{Template \glsentrytext{HASKELL}}
\myacronym{TCP}{TCP}{transmission control protocol}
\myacronym{TOP}{TOP}{task-oriented programming}
\myacronym{TOSD}{TOSD}{task-oriented software development}
name=Arduino,
description={is a widely used framework for programming microprocessors}
}
+\newglossaryentry{MBED}{%
+ name=mbed,
+ description={is a widely used framework for programming microprocessors designed for ARM cortex-M}
+}
\newglossaryentry{CPP}{
name=C\texttt{++},
description={is a general-purpose imperative programming language based on \gls{C}}