leastfixedpoint

Archived tweet #1620 from the @leastfixedpoint Twitter Archive
@dwragg Ah, no, I figured it out some time ago, but was reminded of it yesterday :)