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{GUI
}{GUI
}{graphical
\acrlong{UI
}}
15 \newacronym{IOT
}{IoT
}{internet of things
}
16 \newacronym{LEAN
}{LEAN
}{language of East-Anglia and Nijmegen
}
17 \newacronym{TOP
}{TOP
}{task-oriented programming
}
18 \newacronym{TOSD
}{TOSD
}{task-oriented software development
}
19 \newacronym{TRS
}{TRS
}{term rewriting system
}
20 \newacronym{RFID
}{RFID
}{radio-frequency identification
}
21 \newacronym{SN
}{SN
}{sensor network
}
22 \newacronym{BLE
}{BLE
}{Bluetooth low energy
}
23 \newacronym{API
}{API
}{application programming interface
}
24 \newacronym{OS
}{OS
}{operating system
}
25 \newacronym{RTOS
}{RTOS
}{real-time
\acrshort{OS
}}
26 \newacronym{OTA
}{OTA
}{over-the-air
}
27 \newacronym{MCU
}{MCU
}{microcontroller unit
}
28 \newacronym{UI
}{UI
}{user interface
}
29 \newacronym{UOD
}{UoD
}{universe of discourse
}
30 \newacronym{SDS
}{SDS
}{shared data source
}
33 \newglossaryentry{MTASK
}{%
35 description=
{is a
\acrshort{TOP
} \acrshort{EDSL
} for microcontrollers integrated with the
\gls{ITASK
} system
},
37 \newglossaryentry{ITASK
}{%
39 description=
{is a
\acrshort{TOP
} \acrshort{EDSL
} for creating distributed multi-user collaborative web applications
},
41 \newglossaryentry{CLEAN
}{%
43 description=
{Clean
\acrlong{LEAN
}, a pure lazy functional programming language based on graph rewriting
}
45 \newglossaryentry{HASKELL
}{%
47 description=
{is a pure lazy functional programming language designed by a committe as a concept language
}
49 \newglossaryentry{HASKELL98
}{%
51 description=
{is a standardised version of
\gls{HASKELL
}}