Meowcolm024 / mlscript

Principal Type Inference for Object-Oriented Programming in a Boolean Algebra of Types

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

Geek Repo

Github PK Tool