fixversion

a least fixed point computation library, using an efficient imperative algorithm

Published
Maintainerjonathan.protzenko@gmail.com
Dependencies
Source [http] http://gallium.inria.fr/~fpottier/fix/fix-20130611.tar.gz
sha256=e07e9c964f6b9bc48171bd92fac3b1b591c904b61070e058ea232d1b34c314de
md5=056dec3341ef008458fa722ebf2e3c57
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/fix/fix.20130611/opam