6 ms·

Toolchain: https://ada-lang.io/ https://ada-lang.io/ IDE: https://github.com/AdaCore/gnatstudio https://github.com/AdaCore/gnatstudio