I tried to figure out what subset of sml cake uses but wasn’t able to find that anywhere in their docs But yeah, it’s definitely true that high assurance / hig

I tried to figure out what subset of sml cake uses but wasn’t able to find that anywhere in their docs But yeah, it’s definitely true that high assurance / high quality tools are still in their relative infancy (there’s lots of great stuff, but nothing I’d be comfortable using with colleagues at the drop of a hat for a quick project next week)