leastfixedpoint

Archived tweet #4010 from the @leastfixedpoint Twitter Archive
@lojikil @silentbicycle @garybernhardt Which is why Baker's egal is structural for immutable data and... otherwise for stateful values :)