Comment by UltraViolence

They talk about SPARK, but I never heard about it until now. Reading up on Wikipedia it seems an ADA derivative.

I assumed they were switching to Rust, but that doesn't seem to be the case.