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
- Authors
-
- Maintainers
-
Sources
archive.tar.gz
md5=cf37ba58410ca1e5e5462d51e4c4fb46
sha512=f96ad6bbf99482455afd8e8a9503357f21798698e6a2a4a8d385877db844ffebcef24f8cf82622c931831896088a9b98e37f4230839a3d03ec1c64fae2a39920
Dependencies
ppx_compare
with-test
qcheck-alcotest
with-test
alcotest
with-test
qcheck
with-test
menhir
with-test
unionFind
>= "20220109"
dune
>= "2.8"
ocaml
>= "4.08"
Reverse Dependencies