Go to file
Olivier 4871534e80 Remove useless [params] argument in [convert]. 2023-03-15 10:39:29 +01:00
client Remove useless [params] argument in [convert]. 2023-03-15 10:39:29 +01:00
headers Add a header to every source file. 2019-09-24 09:04:03 +02:00
src use an error type in the Solver as well 2023-02-16 11:30:04 +01:00
.gitignore Add [make versions]. 2021-12-22 13:55:18 +01:00
AUTHORS.txt Add Olivier and Gabriel among the authors. 2021-12-22 14:01:49 +01:00
CHANGES.md CHANGES entry on Solver errors 2023-02-27 16:05:02 +01:00
HACKING.md A small fix in HACKING.md. 2022-02-07 21:22:42 +01:00
LICENSE Authors & license. 2018-03-02 17:57:13 +01:00
Makefile Add ad hoc script doc.sh to help read the output of [make doc]. 2022-04-06 08:36:52 +02:00
README.md documentation for the test suite 2022-02-07 17:50:55 +01:00
TODO.md TODO. 2022-04-08 11:17:16 +02:00
doc.sh Add ad hoc script doc.sh to help read the output of [make doc]. 2022-04-06 08:36:52 +02: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.