2 \newacronym{ADT
}{ADT
}{algebraic data type
}
3 \newacronym{DSL
}{DSL
}{domain-specific language
}
4 \newacronym{EDSL
}{eDSL
}{embedded
\acrshort{DSL
}}
5 \newacronym{GADT
}{GADT
}{generalised
\acrshort{ADT
}}
6 \newacronym{GHC
}{GHC
}{Glasgow Haskell Compiler
}
7 \newacronym{GPL
}{GPL
}{general-purpose language
}
8 \newacronym{PRS
}{PRS
}{python raspberry pi supersensor
}
9 \newacronym{PWS
}{PWS
}{(micro)python wemos supersensor
}%chktex 36
10 \newacronym{CRS
}{PRS
}{clean raspberry pi supersensor
}
11 \newacronym{CWS
}{PWS
}{clean wemos supersensor
}
12 \newacronym{FP
}{FP
}{functional programming
}
13 \newacronym{GRS
}{GRS
}{graph rewriting system
}
14 \newacronym{GPIO
}{GPIO
}{general-purpose
\acrlong{IO
}}
15 \newacronym{GUI
}{GUI
}{graphical
\acrlong{UI
}}
16 \newacronym{IOT
}{IoT
}{internet of things
}
17 \newacronym{LEAN
}{LEAN
}{language of East-Anglia and Nijmegen
}
18 \newacronym{LED
}{LED
}{light-emitting diode
}
19 \newacronym{TOP
}{TOP
}{task-oriented programming
}
20 \newacronym{TOSD
}{TOSD
}{task-oriented software development
}
21 \newacronym{TRS
}{TRS
}{term rewriting system
}
22 \newacronym{RFID
}{RFID
}{radio-frequency identification
}
23 \newacronym{SN
}{SN
}{sensor network
}
24 \newacronym{BLE
}{BLE
}{Bluetooth low energy
}
25 \newacronym{API
}{API
}{application programming interface
}
26 \newacronym{OS
}{OS
}{operating system
}
27 \newacronym{IO
}{IO
}{input/output
}
28 \newacronym{RTOS
}{RTOS
}{real-time
\acrshort{OS
}}
29 \newacronym{RAM
}{RAM
}{random-access memory
}
30 \newacronym{OTA
}{OTA
}{over-the-air
}
31 \newacronym{MCU
}{MCU
}{microcontroller unit
}
32 \newacronym{UI
}{UI
}{user interface
}
33 \newacronym{UOD
}{UoD
}{universe of discourse
}
34 \newacronym{SDS
}{SDS
}{shared data source
}
37 \newglossaryentry{MTASK
}{%
39 description=
{is a
\acrshort{TOP
} \acrshort{EDSL
} for microcontrollers integrated with the
\gls{ITASK
} system
},
41 \newglossaryentry{ITASK
}{%
43 description=
{is a
\acrshort{TOP
} \acrshort{EDSL
} for creating distributed multi-user collaborative web applications
},
45 \newglossaryentry{CLEAN
}{%
47 description=
{Clean
\acrlong{LEAN
}, a pure lazy functional programming language based on graph rewriting
}
49 \newglossaryentry{HASKELL
}{%
51 description=
{is a pure lazy functional programming language designed by a committe as a concept language
}
53 \newglossaryentry{HASKELL98
}{%
55 description=
{is a standardised version of
\gls{HASKELL
}}
57 \newglossaryentry{ARDUINO
}{%
59 description=
{is a widely used framework for programming microprocessors
}
61 \newglossaryentry{CPP
}{
63 description=
{is a general-purpose imperative programming language based on
\gls{C
}}
67 description=
{is a general-purpose imperative programming
}
69 \newglossaryentry{I2C
}{
70 name=I
\textsuperscript{2}C,
71 description=
{is a simple serial communication protocol often used to connect sensors to microprocessors
}