4 ms·CakeML is interesting, but I don't think any language can guarantee a SIL.by wiml 6y agoCakeML is interesting, but I don't think any language can guarantee a SIL.