To anyone who has a Linux distro and wants to try Ada (2012 on some): Debian/Ubuntu: sudo apt install gnat gprbuild Arch Linux: sudo pacman -S gcc-ada (get gp

To anyone who has a Linux distro and wants to try Ada (2012 on some): Debian/Ubuntu: sudo apt install gnat gprbuild Arch Linux: sudo pacman -S gcc-ada (get gprbuild from the AUR) NixOS: https://github.com/fluffynukeit/adaspark/ https://github.com/fluffynukeit/adaspark/ I think it's also available on Fedora IIRC. And then go to https://learn.adacore.com/ https://learn.adacore.com/ :)