Olivier
/
inferno-experimental
2
0
Fork 1
Code Issues 15 Pull Requests 6 Releases Wiki Activity
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.
490 Commits
55 Branches
5 Tags
7.9 MiB
 
 
 
 
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'rigid-variable-rebase'
${ noResults }
Go to file
Olivier c2dfd17f68
Separate the status type in two. 		1 year ago
client Add letrn combinator and rewrite the other let-combinators accordingly. 1 year ago
headers Add a header to every source file. 4 years ago
src Separate the status type in two. 1 year ago
.gitignore Add [make versions]. 1 year ago
.gitlab-ci.yml continuous integration script for Gitlab 2 years ago
AUTHORS.txt Add Olivier and Gabriel among the authors. 1 year ago
CHANGES.md CHANGES. 1 year ago
HACKING.md A small fix in HACKING.md. 1 year ago
LICENSE Authors & license. 5 years ago
Makefile Makefile: fix 'make quick' 1 year ago
README.md documentation for the test suite 1 year ago
TODO.md TODO. 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

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.