package fix

CHANGES

2020/01/31

• In Gensym, new abstract type generator, with three functions generator, fresh, and current.

• In Memoize, new function visibly_memoize, which not only returns a memoized function, but also provides outside access to the memoization table.

• New signatures ONGOING_NUMBERING and TWO_PHASE_NUMBERING and new module Numbering, which provides facilities for numbering things.

• Breaking change: the module Fix.Number is renamed Fix.GraphNumbering.

2018/11/30

• New release, including new modules (Gensym, Memoize, Tabulate, Number, HashCons, Prop, Glue), new convenience functors (Fix.ForHashedType, etc.), and new demos. The least-fixed-point computation algorithm is unchanged.

2013/06/11

• Initial release of the package, containing just Fix.Make, the least-fixed-point computation algorithm.