leastfixedpoint

Archived tweet #2790 from the @leastfixedpoint Twitter Archive
@msimoni Actually a good point. Support for expression of equivalences in existing OO languages is oddly weak.