inferno

A library for constraint-based Hindley-Milner type inference
README

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.

Install
Published
03 Jun 2022
Sources
archive.tar.gz
md5=cf37ba58410ca1e5e5462d51e4c4fb46
sha512=f96ad6bbf99482455afd8e8a9503357f21798698e6a2a4a8d385877db844ffebcef24f8cf82622c931831896088a9b98e37f4230839a3d03ec1c64fae2a39920
Dependencies
ppx_compare
with-test
alcotest
with-test
qcheck
with-test
menhir
with-test
unionFind
>= "20220109"
dune
>= "2.8"
ocaml
>= "4.08"
Reverse Dependencies