package inferno

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

Install

Dune Dependency

Authors

Maintainers

Sources

archive.tar.gz
md5=c1497a35814f2e006ea5adea6008ee7a
sha512=d00e2c3e3524d4dd3cba98ab6a8f1f9e95c475993c42f24bf4c46ddb527ae74b37ac1fec118a385556dadb733caeaaa071d06e536c91097045439ab39be25e65

Description

Published: 22 Dec 2021

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.

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None