Date: Wed, 1 Aug 2018 11:04:31 -0300 From: Alexandre =?utf-8?Q?C=2E_Guimar=C3=A3es?= <alexandre.guimaraes@privacychain.ch> To: freebsd-chat@freebsd.org Subject: Learn Ada and SPARK. Message-ID: <20180801140431.6nakjiedr3umpfpt@privacychain.ch>
next in thread | raw e-mail | index | archive | help
Hi. AdaCore published a free online 'learning platform' for Ada and SPARK. https://learn.adacore.com/ Cheers!
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20180801140431.6nakjiedr3umpfpt>