leastfixedpoint

Archived tweet #4108 from the @leastfixedpoint Twitter Archive
The top-level is hopeless exactly to the extent that we have no theory of IDEs.