leastfixedpoint

Archived tweet #7096 from the @leastfixedpoint Twitter Archive
@DRMacIver Or perhaps, better ;-) , subtyping that doesn't depend on inheritance! /cc @mwotton