leastfixedpoint

Archived tweet #4701 from the @leastfixedpoint Twitter Archive
@apeiros @chneukirchen Oh I see! That's an interesting point.