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=5c8c0c3f8d9e696f7b00ef2134260289
sha512=cb5702928e0d6c7c0b3a58d261bcc86a964f57d6fb629de8110a17a0a98664022be4243b76419030f04d37d39f2f721c84f938cf6260d65b68933b2016d78c86

Description

Published: 05 Nov 2020

README

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.

Dependencies (2)

  1. dune >= "1.11"
  2. ocaml >= "4.02.3"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.