4 ms·
> Cool if true, but sounds like a very significant amount of work. Not coincidentally, it's the sort of work that the sort of people who use verified compilers
by kibwen 3y ago
> Cool if true, but sounds like a very significant amount of work.
Not coincidentally, it's the sort of work that the sort of people who use verified compilers have the incentive to pay for.
- qzw 3y agoUndoubtedly, and having a compliant compiler without being able to use any external crates would certainly be a major downer, so I'm sure they've thought this through and done their market research.