2 ms·Congrats to Xavier Leroy (creator of OCaml) et all for CompCert.by mirekrusin 3y agoCongrats to Xavier Leroy (creator of OCaml) et all for CompCert.