infernoversion Documentation on ocaml.org
A library for constraint-based Hindley-Milner type inference.
| Author | François Pottier <francois.pottier@inria.fr> |
|---|---|
| License | MIT |
| 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/20180405/archive.tar.gz sha256=18df455e5543d597605b8f76d5ffa41dc4b77db4b01db334d0ffb0d267808124 md5=6e7baf540152bb1f715d051087bf8c6a |
No package is dependent
