Formal semantics for a model of Opal (https://capra.cs.cornell.edu/research/opal/) - View it on GitHub