> 'rich and internally consistent novel programming language semantics with fully worked examples of applications, and rich explanations of how they work'. Oh

> 'rich and internally consistent novel programming language semantics with fully worked examples of applications, and rich explanations of how they work'. Oh for sure, that is a really cool finding. Didn't mean to negate that, just provide a little context.