undefined | Better HN

0 pointspjmlp2y ago0 comments

SPARK is part of Ada, time to update your ISO Ada knowledge.

0 comments

1 comments · 1 top-level

No, it isn't. I think you're confusing contracts (added in Ada 2012) with the entirety of SPARK.

j / k navigate · click thread line to collapse