ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
What is the dannywillems/RML GitHub project? Description: "ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.". Written in OCaml. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
Clone via HTTPS
Clone via SSH
Download ZIP
Download master.zipReport bugs or request features on the RML issue tracker:
Open GitHub Issues