package inferno

  1. Overview
  2. Docs
A library for constraint-based Hindley-Milner type inference

Install

Dune Dependency

gitlab.inria.fr Readme Changelog MIT License Edit opam file Versions (6)

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>
  2. O
    Olivier Martinot <olivier.martinot@inria.fr>
  3. Gabriel Scherer

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=cf37ba58410ca1e5e5462d51e4c4fb46
sha512=f96ad6bbf99482455afd8e8a9503357f21798698e6a2a4a8d385877db844ffebcef24f8cf82622c931831896088a9b98e37f4230839a3d03ec1c64fae2a39920

README.md.html

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.