CHANGES.md 899 Bytes
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1 2
# CHANGES

3 4 5 6 7
## 2019/XX/XX

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

8 9 10 11
* In `Memoize`, new function `visibly_memoize`,
  which not only returns a memoized function,
  but also provides outside access to the memoization table.

12
* New signatures `ONGOING_NUMBERING` and `TWO_PHASE_NUMBERING`
13 14 15
  and new module `Numbering`,
  which provides facilities for numbering things.

16 17 18
* Breaking change: the module `Fix.Number`
  is renamed `Fix.GraphNumbering`.

POTTIER Francois's avatar
POTTIER Francois committed
19 20 21 22 23 24 25 26 27 28 29 30 31
## 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.