Learn Ada and SPARK.
Alexandre C. Guimarães
alexandre.guimaraes at privacychain.ch
Wed Aug 1 14:04:49 UTC 2018
Hi.
AdaCore published a free online 'learning platform' for Ada and SPARK.
https://learn.adacore.com/
Cheers!
More information about the freebsd-chat
mailing list