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/20211222/archive.tar.gz md5=c1497a35814f2e006ea5adea6008ee7a sha512=d00e2c3e3524d4dd3cba98ab6a8f1f9e95c475993c42f24bf4c46ddb527ae74b37ac1fec118a385556dadb733caeaaa071d06e536c91097045439ab39be25e65 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/inferno/inferno.20211222/opam |
No package is dependent
