fix 20130611
| Maintainer | jonathan.protzenko@gmail.com | ||||
|---|---|---|---|---|---|
| Dependencies |
|
||||
| Published | Jun 11, 2013 | ||||
| Source [http] |
http://gallium.inria.fr/~fpottier/fix/fix-20130611.tar.gz 056dec3341ef008458fa722ebf2e3c57 |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/fix/fix.20130611/opam | ||||
a least fixed point computation library, using an efficient imperative algorithm
| Necessary for | ||
|---|---|---|
| mezzo |