gasche
/
inferno-experimental
forked from Olivier/inferno-experimental
2
0
Fork 0
Code Issues Pull Requests 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.
104 Commits
33 Branches
5 Tags
2.0 MiB
 
 
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Go to file
Gabriel Scherer b1b9c97544
Merge branch 'tyvar-master' 		3 years ago
client SolverSig: use an abstract type for O.tyvar 3 years ago
headers Add a header to every source file. 4 years ago
src SolverSig: use an abstract type for O.tyvar 3 years ago
test Add [make test], which runs the UnionFind benchmark. 4 years ago
.gitignore Add [make test], which runs the UnionFind benchmark. 4 years ago
AUTHORS Authors & license. 5 years ago
CHANGES.md Add CHANGES.md. 4 years ago
LICENSE Authors & license. 5 years ago
Makefile Remove a comment. 4 years ago
README.md README. 5 years ago
TODO.md Change a TODO item into an issue (#2). 4 years ago
dune-project Switch to Dune. 4 years ago
inferno.opam Fix opam package description. 4 years 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 documentation other than the above paper and slides.