Robot Has No Heart

Xavier Shay blogs here

A robot that does not have a heart

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.

  • Posted on June 29, 2013
  • Tagged code, ruby
A pretty flower Another pretty flower