leastfixedpoint

Archived tweet #11945 from the @leastfixedpoint Twitter Archive
@_fsantanna I'll try to find time to give Dubroy's problem a go this weekend.