Learn Ada and SPARK.

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Learn Ada and SPARK.

Alexandre C. Guimarães
Hi.

AdaCore published a free online 'learning platform' for Ada and SPARK.

https://learn.adacore.com/

Cheers!
_______________________________________________
[hidden email] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-chat
To unsubscribe, send any mail to "[hidden email]"