2 ms·
Very few of those languages are used in certified code.
by trimistermota 4y ago
Very few of those languages are used in certified code.
- steveklabnik 4y agoAnd yet, a version of rustc is well on its way to being certified. Standardization is not required for certification.