leastfixedpoint

Archived tweet #6521 from the @leastfixedpoint Twitter Archive
@pkhuong Updated my post's related-work to point to your impl. Thanks for letting me know about it!