leastfixedpoint

Archived tweet #7520 from the @leastfixedpoint Twitter Archive
@cputney (stark example: data are finite, terminating; functions may be infinite, nonterminating)