3 ms·
Don't forget this list of expectations for SPARK [1] too, if you want even safer, high-integrity, and formally verified code on Android! [1] https://www.adaco
by eggy 11mo ago
Don't forget this list of expectations for SPARK [1] too, if you want even safer, high-integrity, and formally verified code on Android!
[1] https://www.adacore.com/about-spark https://www.adacore.com/about-spark
- iknowstuff 11mo agoI think we can indeed forget about it.
- pjmlp 11mo agoAndroid has zero lines of Ada code, why should I care about it in this case?