Archived tweet #9719 from the @leastfixedpoint Twitter Archive

@PLT_cheater And that's as formal as it ever got :-) Reduction rewrite rules are easyish to write down. I once figured out a couple of diode-like symbols for shift and reset, which fit quite naturally into the notation and the rewrite system, but that's as far as I've gone