18effdd973 | ||
---|---|---|
src | ||
.gitignore | ||
AUTHORS | ||
GNUmakefile | ||
LICENSE | ||
Makefile | ||
README.md | ||
TODO.md | ||
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.