package inferno
A library for constraint-based Hindley-Milner type inference
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=c1497a35814f2e006ea5adea6008ee7a
sha512=d00e2c3e3524d4dd3cba98ab6a8f1f9e95c475993c42f24bf4c46ddb527ae74b37ac1fec118a385556dadb733caeaaa071d06e536c91097045439ab39be25e65
README.md.html
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 manual, but the API of the latest released version is online.