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.
 
 
 
 
François Pottier 7e81ab63ef TODO. 6 months ago
client Simplify the types of [letr1] and [letrn]. 6 months ago
headers Add a header to every source file. 3 years ago
src Documentation for [letr1] and [letrn]. 6 months ago
.gitignore Add [make versions]. 9 months ago
.gitlab-ci.yml continuous integration script for Gitlab 1 year ago
AUTHORS.txt Add Olivier and Gabriel among the authors. 9 months ago
CHANGES.md CHANGES. 8 months ago
HACKING.md A small fix in HACKING.md. 8 months ago
LICENSE Authors & license. 5 years ago
Makefile Add ad hoc script doc.sh to help read the output of [make doc]. 6 months ago
README.md documentation for the test suite 8 months ago
TODO.md TODO. 6 months ago
doc.sh Add ad hoc script doc.sh to help read the output of [make doc]. 6 months ago
dune-project Add support for cram tests. 9 months ago
inferno-sample-client.opam Add a version constraint on Menhir (actually, MenhirLib). 8 months ago
inferno.opam Require unionFind 20220109. 9 months ago

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.