3 ms·

See https://ada-lang.io/ https://ada-lang.io/ and https://learn.adacore.com/ https://learn.adacore.com/