Archived tweet #11865 from the @leastfixedpoint Twitter Archive

@dustyweb @marksammiller Coincidence! The traces are a very direct rendering of the ~reductions in the operational semantics.