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