Giters

dannywillems / RML

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

dannywillems/RML Stargazers