Writing About Code
I wrote some words about The Mathematical Syntax of Small-step Operational Semantics
It’s the latest in a sequence of experiments on techniques for presenting ideas and code, xspec being another that you may be interested in.
Robot Has No Heart
Xavier Shay blogs here
