Learn Ada and SPARK.
Alexandre C. Guimarães <[email protected]> Wed, 1 Aug 2018 11:04:31 -0300
| Newsgroups | gmane.os.freebsd.chat |
|---|---|
| Message-ID | <[email protected]> |
Hi. AdaCore published a free online 'learning platform' for Ada and SPARK. https://learn.adacore.com/ Cheers! _______________________________________________ [email protected] mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-chat To unsubscribe, send any mail to "[email protected]"