3 ms·

I think we should all switch to programming in SPARK. It won't solve all bugs, but it'll solve the avoidable ones.

• Rochus 4y ago
  Good luck with that.