infernoversion
A library for constraint-based Hindley-Milner type inference
| Authors | François Pottier <francois.pottier@inria.fr>, Olivier Martinot <olivier.martinot@inria.fr> and Gabriel Scherer <gabriel.scherer@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/20220603/archive.tar.gz md5=cf37ba58410ca1e5e5462d51e4c4fb46 sha512=f96ad6bbf99482455afd8e8a9503357f21798698e6a2a4a8d385877db844ffebcef24f8cf82622c931831896088a9b98e37f4230839a3d03ec1c64fae2a39920 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/inferno/inferno.20220603/opam |
No package is dependent
