8 Implementations
8.1 Prototype: equiv.io
8.1.1 Usage
\begin{align*} \operatorname{\mathit{Id}} \;::=\;& \{\texttt{A},\ldots \texttt{Z},\texttt{a}\ldots \texttt{z},\texttt{\_},\texttt{0}\ldots\texttt{9}\}^+\\ \operatorname{\mathit{Str}} \;::=\;& \texttt{"} \ldots \texttt{"}\\ \operatorname{\mathit{Act}} \;::=\;& \operatorname{\mathit{Id}} \;\mid\;\operatorname{\mathit{Id}}\texttt{!} \;\mid\;\tau\\ \operatorname{\mathit{Def}} \;::=\;& \operatorname{\mathit{Id}} \texttt{=} \operatorname{\mathit{Proc}}\\ \operatorname{\mathit{Decl}} \;::=\;& \operatorname{\mathit{Id}} [\texttt{(} \ldots \texttt{)}] \;\mid\;\operatorname{\mathit{Str}} [\texttt{(} \ldots \texttt{)}]\\ \operatorname{\mathit{Meta}} \;::=\;& \texttt{@}\!\operatorname{\mathit{Id}} \; \operatorname{\mathit{Id}} \, \{ \texttt{,} \operatorname{\mathit{Id}} \}^*\\ \end{align*}
8.1.2 Program Structure
8.1.3 Benchmarking
8.2 GPU Implementation: gpuequiv
Vogel (2024)
8.2.1 Usage
8.2.2 Program Structure
8.2.3 Benchmarking
8.3 Further Implementations
8.3.1 Computer Game: The Spectroscopy Invaders
Trzeciakiewicz (2021)
8.3.2 CAAL Extension
Ozegowski (2023) mention Timo