4 ms·

You might be interested in cakeml and cogent. What Safety Integrity Level can ivory guarantee? level2?

• wiml 6y ago
  CakeML is interesting, but I don't think any language can guarantee a SIL.