CHANGES.md 398 Bytes
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
# CHANGES

## 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.