3 ms·
Well, couldn't you then be making a safety-checking tool for C? If you can do that, it shouldn't be hard to translate from there to safe Rust.
by Retra 10y ago
Well, couldn't you then be making a safety-checking tool for C? If you can do that, it shouldn't be hard to translate from there to safe Rust.