leastfixedpoint

Archived tweet #11328 from the @leastfixedpoint Twitter Archive
it did not go away. :-(