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.
327 Commits
55 Branches
5 Tags
7.9 MiB
 
 
 
 
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'rigid-rebase'
${ noResults }
Go to file
Olivier 90c0049a87
Merge Env and SVMap. 		1 year ago
client Merge Env and SVMap. 1 year ago
headers Add a header to every source file. 4 years ago
src Merge Env and SVMap. 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
LICENSE Authors & license. 5 years ago
Makefile Change [make test] to show how many terms and well-typed terms were tested. 1 year ago
README.md Link to the online documentation. 1 year ago
TODO.md Clean up and organize the TODO. 1 year ago
dune-project Add support for cram tests. 1 year ago
inferno-sample-client.opam Add missing dependency of inferno-sample-client on inferno. 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.