GitHub repository: kkdlau/mlscript-fyp-edition
Primary language: Scala
Description: Principal Type Inference in a Boolean Algebra of Structural Types