4 ms·
The most popular language with a formal specification is Standard ML. I guess this is terminology confusion on behalf of Surac, who probably just wants a speci
by the_why_of_y 1y ago
The most popular language with a formal specification is Standard ML.
I guess this is terminology confusion on behalf of Surac, who probably just wants a specification that is independent of the rustc implementation.