dannywillems/RML
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
OCaml
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
OCaml