inferno

A library for constraint-based Hindley-Milner type inference
Description
Install
Documentation gitlab.inria.fr Changelog MIT License Edit opam file
Published
05 Nov 2020
Authors
Maintainers
Sources
archive.tar.gz
md5=5c8c0c3f8d9e696f7b00ef2134260289 sha512=cb5702928e0d6c7c0b3a58d261bcc86a964f57d6fb629de8110a17a0a98664022be4243b76419030f04d37d39f2f721c84f938cf6260d65b68933b2016d78c86
Dependencies
dune >= "1.11"
ocaml >= "4.02.3"
Reverse Dependencies