leastfixedpoint

Archived tweet #420 from the @leastfixedpoint Twitter Archive
@janl for suitably large values of "finite", presumably