inferno

A library for constraint-based Hindley-Milner type inference
Description
Install
Published
03 Jun 2022
Authors
Maintainers
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