undefined | Better HN

0 pointseggy4mo ago0 comments

Don't forget this list of expectations for SPARK [1] too, if you want even safer, high-integrity, and formally verified code on Android!

0 comments

I think we can indeed forget about it.

pjmlp4mo ago

Android has zero lines of Ada code, why should I care about it in this case?

j / k navigate · click thread line to collapse

0 pointseggy4mo ago0 comments

Don't forget this list of expectations for SPARK [1] too, if you want even safer, high-integrity, and formally verified code on Android!

I think we can indeed forget about it.

pjmlp4mo ago

Android has zero lines of Ada code, why should I care about it in this case?

j / k navigate · click thread line to collapse