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 |