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

Install

gitlab.inria.fr Readme Changelog MIT License Edit opam file

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

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