infernoversion Documentation on ocaml.org
A library for constraint-based Hindley-Milner type inference
| Author | François Pottier <francois.pottier@inria.fr> |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://gitlab.inria.fr/fpottier/inferno |
| Issue Tracker | francois.pottier@inria.fr |
| Maintainer | francois.pottier@inria.fr |
| Dependencies | |
| Source [http] | https://gitlab.inria.fr/fpottier/inferno/-/archive/20190924/archive.tar.gz md5=85e6b46c16685c11e8356cc0f757f5f3 sha512=106c7418acc0793a828937690641719415088a5e69c92a49cc157506e7ce85e4dd318642cd0835876621faa2d1efdbd69bb5745fcfe76d484ca22a3b155b8e83 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/inferno/inferno.20190924/opam |
No package is dependent
