leastfixedpoint

Archived tweet #10670 from the @leastfixedpoint Twitter Archive
@msimoni @michaeljforster It is, but I've never managed to quite follow his argument.