leastfixedpoint

Archived tweet #5671 from the @leastfixedpoint Twitter Archive
@laurencetratt @snim2 Hear hear. I was going to suggest "import" myself.