leastfixedpoint

Archived tweet #4691 from the @leastfixedpoint Twitter Archive
@cartazio Writing it up now. Hopefully a paper submission in the next few weeks. :)