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