GitHub repository: mahzoun99/mlscript
Primary language: Scala
Description: Principal Type Inference for Object-Oriented Programming in a Boolean Algebra of Types