> I don't know where all the C hate is all about. It's about people who don't write software or plug APIs together but still want to have an opinion to show their "excellence". Meanwhile Leroy targets C in CompCert ...
> I don't know where all the C hate is all about. It's about people who don't write software or plug APIs together but still want to have an opinion to show their "excellence". Meanwhile Leroy targets C in CompCert ...