chengluyu / mlscript

Principal Type Inference in a Boolean Algebra of Structural Types

https://hkust-taco.github.io/mlscript

Repository from Github https://github.comchengluyu/mlscript