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.