I thought operational semantics were a straightforward way of formalizing languages, until I actually tried. I'm now drowning in operational bureaucracy. Denotational semantics are more fun.
@lyxia You formal folks are a completely different breed. I'm baffled and amazed.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!