package inferno

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

Install

Dune Dependency

gitlab.inria.fr Edit opam file Versions (6)

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=6e7baf540152bb1f715d051087bf8c6a

Description

Published: 05 Apr 2018

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind build
  3. ocaml >= "4.02"

Dev Dependencies

None

Used by

None

Conflicts

None