leastfixedpoint

Archived tweet #11995 from the @leastfixedpoint Twitter Archive
@defnotbeka Hang on, you want callers of callers of callers of hole-bearing code to be marked as incomplete?