You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Go to file
Gabriel Scherer e7b8b7a66c
remove the broken gitlab CI script
3 months ago
client support for (non-polymorphic) 'let rec' in 3 months ago
headers Add a header to every source file. 4 years ago
src use an error type in the Solver as well 3 months ago
.gitignore Add [make versions]. 1 year ago
AUTHORS.txt Add Olivier and Gabriel among the authors. 1 year ago CHANGES entry on Solver errors 3 months ago A small fix in 1 year ago
LICENSE Authors & license. 5 years ago
Makefile Add ad hoc script to help read the output of [make doc]. 1 year ago documentation for the test suite 1 year ago TODO. 1 year ago Add ad hoc script to help read the output of [make doc]. 1 year ago
dune-project Add support for cram tests. 1 year ago
inferno-sample-client.opam Add a version constraint on Menhir (actually, MenhirLib). 1 year ago
inferno.opam Require unionFind 20220109. 1 year ago

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 for some information on how to develop the Inferno codebase.