CHANGES.md 793 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.

POTTIER Francois's avatar
POTTIER Francois committed
12
13
14
15
* New signature `ONGOING_NUMBERING`
  and new module `Numbering`,
  which provides facilities for numbering things.

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