Hacker News new | ask | show | jobs
by pjmlp 1032 days ago
SPARK is part of Ada, time to update your ISO Ada knowledge.
1 comments
peppermint_gum 1032 days ago
No, it isn't. I think you're confusing contracts (added in Ada 2012) with the entirety of SPARK.
link