3 ms·
The idea is not to unify the different dialects of ML, but to unify the "core" and "module" sublanguages of ML.
by cousin_it 12y ago
The idea is not to unify the different dialects of ML, but to unify the "core" and "module" sublanguages of ML.