Compiling C to Safe Rust, Formalized (via emschwartz) — discussion

#c #compilers #rust