4 ms·Even though it's an Ada ad, 'C*/*C++' vs 'Ada*, *SPARK' is wild.by mcdonje 1y agoEven though it's an Ada ad, 'C*/*C++' vs 'Ada*, *SPARK' is wild.