Archived tweet #11803 from the @leastfixedpoint Twitter Archive

@beka_valentine It deserves to be written down in a short paper or blog post form. Nothing formal, just something less dissected than tweets... I will likely want to refer to it in future. I think I wondered on this hellsite about mechanically getting to bytecode from calculi a few years back,