leastfixedpoint

Archived tweet #7890 from the @leastfixedpoint Twitter Archive
@d_run @samth Hmm, well... :-( I have failed to do it for a *long* time now. Perhaps during April.