leastfixedpoint

Archived tweet #10817 from the @leastfixedpoint Twitter Archive
@noelwelsh Unfortunately, yes, the naming confusion doesn't help.