Hacker News Reader

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.

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