From owner-freebsd-chat@freebsd.org  Wed Aug  1 14:04:49 2018
Return-Path: <owner-freebsd-chat@freebsd.org>
Delivered-To: freebsd-chat@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id A3BD9105D382
 for <freebsd-chat@mailman.ysv.freebsd.org>;
 Wed,  1 Aug 2018 14:04:49 +0000 (UTC)
 (envelope-from alexandre.guimaraes@privacychain.ch)
Received: from forward100o.mail.yandex.net (forward100o.mail.yandex.net
 [IPv6:2a02:6b8:0:1a2d::600])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client CN "forwards.mail.yandex.net", Issuer "Yandex CA" (verified OK))
 by mx1.freebsd.org (Postfix) with ESMTPS id 3B9B175441
 for <freebsd-chat@freebsd.org>; Wed,  1 Aug 2018 14:04:49 +0000 (UTC)
 (envelope-from alexandre.guimaraes@privacychain.ch)
Received: from mxback1o.mail.yandex.net (mxback1o.mail.yandex.net
 [IPv6:2a02:6b8:0:1a2d::1b])
 by forward100o.mail.yandex.net (Yandex) with ESMTP id 4BEB12A284B6
 for <freebsd-chat@freebsd.org>; Wed,  1 Aug 2018 17:04:36 +0300 (MSK)
Received: from smtp3o.mail.yandex.net (smtp3o.mail.yandex.net
 [2a02:6b8:0:1a2d::27])
 by mxback1o.mail.yandex.net (nwsmtp/Yandex) with ESMTP id XxjAZ3UvV9-4aU8A1t1; 
 Wed, 01 Aug 2018 17:04:36 +0300
Received: by smtp3o.mail.yandex.net (nwsmtp/Yandex) with ESMTPSA id
 HLKJDdxBDY-4YXmiRgQ; Wed, 01 Aug 2018 17:04:34 +0300
 (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
 (Client certificate not present)
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
User-Agent: NeoMutt/20180716
X-BeenThere: freebsd-chat@freebsd.org
X-Mailman-Version: 2.1.27
Precedence: list
List-Id: Non technical items related to the community
 <freebsd-chat.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-chat>,
 <mailto:freebsd-chat-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-chat/>
List-Post: <mailto:freebsd-chat@freebsd.org>
List-Help: <mailto:freebsd-chat-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-chat>,
 <mailto:freebsd-chat-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 01 Aug 2018 14:04:49 -0000

Hi.

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

https://learn.adacore.com/

Cheers!