package inferno
A library for constraint-based Hindley-Milner type inference
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=cf37ba58410ca1e5e5462d51e4c4fb46
sha512=f96ad6bbf99482455afd8e8a9503357f21798698e6a2a4a8d385877db844ffebcef24f8cf82622c931831896088a9b98e37f4230839a3d03ec1c64fae2a39920
Description
Published: 03 Jun 2022
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.
See HACKING.md for some information on how to develop the Inferno codebase.
Dev Dependencies (5)
-
ppx_compare
with-test -
qcheck-alcotest
with-test -
alcotest
with-test -
qcheck
with-test -
menhir
with-test
Used by
None
Conflicts
None
On This Page