leastfixedpoint

Archived tweet #8115 from the @leastfixedpoint Twitter Archive
@arntzenius I couldn't possibly comment!