3 ms·
Isn’t the Ada spec also not a formal spec?
by Ar-Curunir 1y ago
Isn’t the Ada spec also not a formal spec?
- the_why_of_y 1y agoThe 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.