4 ms·
I would highly recommend https://learn.adacore.com/index.html https://learn.adacore.com/index.html for learning Ada / SPARK.
by johnisgood 1y ago
I would highly recommend https://learn.adacore.com/index.html https://learn.adacore.com/index.html for learning Ada / SPARK.