inferno

AuthorFran├žois Pottier <francois.pottier@inria.fr>
LicenseMIT
Homepagehttps://gitlab.inria.fr/fpottier/inferno
Issue Trackerfrancois.pottier@inria.fr
Maintainerfrancois.pottier@inria.fr
Dependencies
&ocamlbuild
ocamlfind
Availableocaml-version >= "4.02"
PublishedApr 5, 2018
Source [http] https://gitlab.inria.fr/fpottier/inferno/repository/20180405/archive.tar.gz
6e7baf540152bb1f715d051087bf8c6a
StatisticsInstalled 5 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/inferno/inferno.20180405/opam

A library for constraint-based Hindley-Milner type inference.

No package is dependent