Hacker News new | ask | show | jobs
by pjmlp 2186 days ago
Ada/SPARK does it.