4 ms·
Er, I missed that footnote. Thanks.
by tjr 15y ago
Er, I missed that footnote. Thanks.
- gregholmberg 15y agoI think you found the punch line. Something like "if you want to write small, solid and safe control logic for an embedded system, you should generally use C. But if you want to prove it mathematically correct, you'll need to test it with software written in this obscure language from INRIA in Grenoble."
- deleted 15y ago[deleted]