issues
search
dannywillems
/
RML
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
37
stars
3
forks
source link
Well formed action.
#22
Closed
dannywillems
closed
7 years ago
dannywillems
commented
7 years ago
I close because it's not the priority.
I close because it's not the priority.