3 ms·So uh... When are we rewriting this in Rust?by Xeamek 3y agoSo uh... When are we rewriting this in Rust?eggy 3y agoNo, in SPARK2014, a subset of Ada, that is everything Rust is trying to be ;)