Go to file
François Pottier e7cc6adfba Add [make versions]. 2021-12-22 13:55:18 +01:00
client Use Alcotest for the test suite. 2021-11-15 10:26:31 +01:00
headers Add a header to every source file. 2019-09-24 09:04:03 +02:00
src Merge branch 'purer-constraints' into 'master' 2021-09-28 21:10:32 +00:00
test Add [make test], which runs the UnionFind benchmark. 2019-09-24 09:15:49 +02:00
.gitignore Add [make versions]. 2021-12-22 13:55:18 +01:00
.gitlab-ci.yml continuous integration script for Gitlab 2021-04-20 16:59:35 +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 Add [make versions]. 2021-12-22 13:55:18 +01:00
README.md README. 2018-03-02 17:59:15 +01:00
TODO.md functorize the Unifier over the type of ranks 2021-04-27 21:05:07 +02:00
dune-project Parsing of terms without types. 2021-04-30 17:27:58 +02:00
inferno.opam Use Alcotest for the test suite. 2021-11-15 10:26:31 +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.