inferno

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

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 manual, but
the API of the latest released version
is online.

Install
Sources
archive.tar.gz
md5=c1497a35814f2e006ea5adea6008ee7a
sha512=d00e2c3e3524d4dd3cba98ab6a8f1f9e95c475993c42f24bf4c46ddb527ae74b37ac1fec118a385556dadb733caeaaa071d06e536c91097045439ab39be25e65
Dependencies
dune
>= "2.8"
ocaml
>= "4.08"
Reverse Dependencies