2 ms·
If you are playing with Ada, be sure to try out Alire, a 'Rust cargo'-style tool for Ada libraries: https://alire.ada.dev/ https://alire.ada.dev/ One thing to
by thesuperbigfrog 1y ago
If you are playing with Ada, be sure to try out Alire, a 'Rust cargo'-style tool for Ada libraries:
https://alire.ada.dev/ https://alire.ada.dev/
One thing to be aware of is that GNAT is part of GCC:
https://gcc.gnu.org/wiki/GNAT https://gcc.gnu.org/wiki/GNAT
AdaCore is the primary developer of GNAT, SPARK, and related tools:
https://blog.adacore.com/a-new-era-for-ada-spark-open-source-community https://blog.adacore.com/a-new-era-for-ada-spark-open-source...
There are other Ada compilers as well:
https://forum.ada-lang.io/t/updated-list-of-ada-compilers/1099 https://forum.ada-lang.io/t/updated-list-of-ada-compilers/10...
- elcapitan 1y agoOh man that style guide is triggering hard :D > Use three spaces as the basic unit of indentation for nesting. https://en.wikibooks.org/wiki/Ada_Style_Guide/Source_Code_Presentation https://en.wikibooks.org/wiki/Ada_Style_Guide/Source_Code_Pr...
- thesuperbigfrog 1y agognatformat is a handy tool for formatting working Ada code: https://github.com/AdaCore/gnatformat https://github.com/AdaCore/gnatformat I had forgotten about the three spaces for indentation. Yuck.