Text this: Semantics of programming languages and algebra