leastfixedpoint

Archived tweet #2504 from the @leastfixedpoint Twitter Archive
@msimoni Hmm! Curious that $if should appear there. Perhaps today is the day I check out the relevant papers.