infernoversion

A library for constraint-based Hindley-Milner type inference

AuthorFrançois Pottier <francois.pottier@inria.fr>
LicenseMIT
Published
Homepagehttps://gitlab.inria.fr/fpottier/inferno
Issue Trackerfrancois.pottier@inria.fr
Maintainerfrancois.pottier@inria.fr
Dependencies
Source [http] https://gitlab.inria.fr/fpottier/inferno/-/archive/20190924/archive.tar.gz
md5=85e6b46c16685c11e8356cc0f757f5f3
sha512=106c7418acc0793a828937690641719415088a5e69c92a49cc157506e7ce85e4dd318642cd0835876621faa2d1efdbd69bb5745fcfe76d484ca22a3b155b8e83
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/inferno/inferno.20190924/opam
No package is dependent