leastfixedpoint

Archived tweet #10175 from the @leastfixedpoint Twitter Archive
@Symbo1ics @gecko @Nick_Craver Though that idea doesn't handle mixed usage well: a < b <= c < d <= e .