how to script in bash

Series: [blog security]

From the OSAD (Open Source Automation Days): how to script bash in 2021 (error checking, speedup, data types, fake namespaces,..)
tooling for serialization of algebraic data types - useful for algorithmic proves with category theory (apparently a bit inactive) related: talk about categorical semantics for bounded petri nets from the Applied Category Theory conference