3 ms·

Whoops, forgot to link to _Concrete Semantics_. [2] http://www.concrete-semantics.org http://www.concrete-semantics.org