Alire really is a game changer. In maybe 5 minutes you can have a toolchain setup for building Ada code. On top of this, since Ada/SPARK can be mingled and Alire is a package manager, you can pull in plain Ada code and also formally proved (SPARK) crates.
1 comment
[ 3.2 ms ] story [ 14.8 ms ] thread