leastfixedpoint

Archived tweet #7099 from the @leastfixedpoint Twitter Archive
@coreload Doesn't seem connected to the notion of classification of conditions, or am I missing something? /cc @mwotton @DRMacIver