Archived tweet #7922 from the @leastfixedpoint Twitter Archive

@sustrik @silentbicycle Nothing polished yet; WIP at syndicate-lang.org . See particularly the recent papers at the bottom.