package fix

You can search for identifiers within the package.

in-package search v0.2.0

Facilities for memoization and fixed points

Install

Dune Dependency

gitlab.inria.fr Readme Changelog License Edit opam file Versions (8)

Authors

F

François Pottier <francois.pottier@inria.fr>

Maintainers

F

francois.pottier@inria.fr

Sources

md5=ae129ed3822149a7f8c98f975512e534

sha512=1db240ff0a87200979bf4308e2110a37631f280e36c5f53dde767579ca63992a760eaeb6e1fc9a41c3f3a63d3dc29a3361114ad304cb09e83945ab4213ff5f6d

CHANGES.md.html

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.