infernoversion
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