infernoversion Documentation on ocaml.org
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/20201001/archive.tar.gz md5=c669a9084bcd34c8f557b87f1a3c7d85 sha512=548d1d332e8ab4e0bdd2f9b922c2389b59ed5657bf9ad57b652d1ca4fdf6bf83cebcc0ecec3475d1b1ab44c2fc5d2adbaa618ed5a7c0427dc9798f1167229e12 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/inferno/inferno.20201001/opam |
No package is dependent
