Olivier 682e7c003a | ||
---|---|---|
client | ||
headers | ||
src | ||
test | ||
.gitignore | ||
AUTHORS | ||
CHANGES.md | ||
LICENSE | ||
Makefile | ||
README.md | ||
TODO.md | ||
dune-project | ||
inferno.opam |
README.md
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.