Go to file
Olivier c2dfd17f68 Separate the status type in two. 2022-03-17 18:33:51 +01:00
client Add letrn combinator and rewrite the other let-combinators accordingly. 2022-03-17 10:53:10 +01:00
headers Add a header to every source file. 2019-09-24 09:04:03 +02:00
src Separate the status type in two. 2022-03-17 18:33:51 +01: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.txt Add Olivier and Gabriel among the authors. 2021-12-22 14:01:49 +01:00
CHANGES.md CHANGES. 2022-02-04 19:13:03 +01:00
HACKING.md A small fix in HACKING.md. 2022-02-07 21:22:42 +01:00
LICENSE
Makefile Makefile: fix 'make quick' 2022-02-01 14:20:41 +01:00
README.md documentation for the test suite 2022-02-07 17:50:55 +01:00
TODO.md TODO. 2022-02-04 19:13:07 +01:00
dune-project Add support for cram tests. 2022-01-06 17:56:30 +01:00
inferno-sample-client.opam Add a version constraint on Menhir (actually, MenhirLib). 2022-02-07 21:52:35 +01:00
inferno.opam Require unionFind 20220109. 2022-01-09 17:05:29 +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 manual, but the API of the latest released version is online.

See HACKING.md for some information on how to develop the Inferno codebase.