Archived tweet #7977 from the @leastfixedpoint Twitter Archive

@DRMacIver But actually there are minor bugs in the final paper :-( :-( so see the hs sketch at syndicate-lang.org/papers/coordin…