Hacker News new | ask | show | jobs
by peppermint_gum 1032 days ago
No, it isn't. I think you're confusing contracts (added in Ada 2012) with the entirety of SPARK.