Hacker News new | ask | show | jobs
by grumpyprole 1051 days ago
Yes Ada/SPARK is a great example.