3 ms·I'd like to hear how this compares to Ada/SPARK.by v9v 9d agoI'd like to hear how this compares to Ada/SPARK.