leastfixedpoint

Archived tweet #7042 from the @leastfixedpoint Twitter Archive
@fniephaus Thanks, good to know - the two known-mistakes I can probably safely remove then.