inferno

A library for constraint-based Hindley-Milner type inference
README

A library for constraint-based Hindley-Milner type inference.

This software is described in the ICFP 2014 paper
Hindley-Milner elaboration in applicative style
by François Pottier.

See also the ICFP 2014 slides.

At present, there is no documentation other than the above paper and slides.

Install
Published
05 Nov 2020
Sources
archive.tar.gz
md5=5c8c0c3f8d9e696f7b00ef2134260289
sha512=cb5702928e0d6c7c0b3a58d261bcc86a964f57d6fb629de8110a17a0a98664022be4243b76419030f04d37d39f2f721c84f938cf6260d65b68933b2016d78c86
Dependencies
dune
>= "1.11"
ocaml
>= "4.02.3"
Reverse Dependencies