Hacker News new | ask | show | jobs
by timbit42 1000 days ago
Ada SPARK: https://en.wikipedia.org/wiki/SPARK_(programming_language)