algorithm-w An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml.