Text this: Programming Languages and Operational Semantics