[theaeolist]

Have a look at these diagrams for PL concepts, but done formally and with execution rules:

https://tnttodda.github.io/Spartan-Visualiser/