A library for constraint-based Hindley-Milner type inference.

Name
Last commit
Last update
client Loading commit data...
headers Loading commit data...
src Loading commit data...
test Loading commit data...
.gitignore Loading commit data...
AUTHORS Loading commit data...
CHANGES.md Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
TODO.md Loading commit data...
dune-project Loading commit data...
inferno.opam Loading commit data...