leastfixedpoint

Archived tweet #4008 from the @leastfixedpoint Twitter Archive
@garybernhardt That is close to being a hashconsed speedup of Baker's "egal" predicate pipeline.com/~hbaker1/Objec…