I was rather expecting code examples, so that we could deconstruct the language primitives being used for the implementation from a CS language semantics point of view.