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.