leastfixedpoint

Archived tweet #2895 from the @leastfixedpoint Twitter Archive
@julianhyde :-( or something. Looking into it now. :-(