comp.lang.ada
 help / color / mirror / Atom feed
From: Mehdi Saada <00120260a@gmail.com>
Subject: Re: grassroots level SPARK Initiation
Date: Fri, 23 Mar 2018 07:16:52 -0700 (PDT)
Date: 2018-03-23T07:16:52-07:00	[thread overview]
Message-ID: <f7dadd57-b8bd-4486-88f4-4dc196c487c4@googlegroups.com> (raw)
In-Reply-To: <0cef0914-30b1-4139-a341-40e8f32f85d9@googlegroups.com>

I could see there ARE students learning SPARK out there, thus Ada too, but I'm surprised to find none of them here.

  reply	other threads:[~2018-03-23 14:16 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-03-23 14:05 grassroots level SPARK Initiation Mehdi Saada
2018-03-23 14:16 ` Mehdi Saada [this message]
2018-03-23 14:24 ` Bojan Bozovic
2018-03-23 16:33 ` Shark8
2018-04-25 15:02   ` Mehdi Saada
2018-04-25 15:25     ` Mehdi Saada
2018-04-25 16:14       ` Niklas Holsti
2018-04-26  1:59     ` Paul Rubin
2018-05-24 18:55 ` Mehdi Saada
2018-05-24 20:52   ` Paul Rubin
2018-05-24 23:50     ` Mehdi Saada
2018-05-25  1:09       ` Paul Rubin
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox