From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=0.5 required=3.0 tests=BAYES_05,URI_TRY_3LD autolearn=no autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: Paul Rubin Newsgroups: comp.lang.ada Subject: new(?) intros to Ada and Spark on adacore.com Date: Wed, 02 Sep 2020 23:50:01 -0700 Organization: A noiseless patient Spider Message-ID: <87lfhrxskm.fsf@nightsong.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: reader02.eternal-september.org; posting-host="66e21599a351283e45ebcade30d86e78"; logging-data="31485"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19ZdH8AwUxz7Pto5w2nGNhp" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) Cancel-Lock: sha1:yl/2BwbC+R2tByY5Fv4caEZ2Pe8= sha1:foGwSVwarARnEdtJY570Bfz+nZU= Xref: reader01.eternal-september.org comp.lang.ada:60041 List-Id: I don't remember seeing these here before. They look promising: https://learn.adacore.com/courses/courses.html : Introduction to Ada Introduction to SPARK Ada for the C++ or Java Developer SPARK Ada for the MISRA C Developer Introduction to GNAT Toolchain https://learn.adacore.com/courses/intro-to-ada/index.html https://learn.adacore.com/courses/intro-to-spark/index.html https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Developer/index.html https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/index.html https://learn.adacore.com/courses/GNAT_Toolchain_Intro/index.html