package inferno

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

Install 

dune-project
 Dependency

gitlab.inria.fr Readme Changelog 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

Description

Published: 03 Jun 2022

README

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.

Dependencies (4)

  1. pprint
  2. unionFind >= "20220109"
  3. dune >= "2.8"
  4. ocaml >= "4.08"

Dev Dependencies (5)

  1. ppx_compare with-test
  2. qcheck-alcotest with-test
  3. alcotest with-test
  4. qcheck with-test
  5. menhir with-test

Used by

None

Conflicts

None