Go to file
Gabriel Scherer bed479d8b7 factorize the type-checking of variant constructors 2021-02-09 11:59:27 +01:00
client factorize the type-checking of variant constructors 2021-02-09 11:59:27 +01:00
headers Add a header to every source file. 2019-09-24 09:04:03 +02:00
src The signature for [build] is a [binder] type. 2021-02-08 17:08:00 +01:00
test Add [make test], which runs the UnionFind benchmark. 2019-09-24 09:15:49 +02:00
.gitignore Add [make test], which runs the UnionFind benchmark. 2019-09-24 09:15:49 +02:00
AUTHORS Authors & license. 2018-03-02 17:57:13 +01:00
CHANGES.md CHANGES. 2020-12-02 17:13:13 +01:00
LICENSE Authors & license. 2018-03-02 17:57:13 +01:00
Makefile Change [make all] to compile everything, not just the main library. 2020-12-02 17:07:09 +01:00
README.md README. 2018-03-02 17:59:15 +01:00
TODO.md TODO. 2020-12-02 17:11:20 +01:00
dune-project Switch to Dune. 2019-09-24 09:02:29 +02:00
inferno.opam Bump our requirement to OCaml 4.08 due to the use of binding operators. 2020-12-02 16:47:36 +01:00

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.