comp.lang.ada
 help / color / Atom feed
* new(?) intros to Ada and Spark on adacore.com
@ 2020-09-03  6:50 Paul Rubin
  0 siblings, 0 replies; only message in thread
From: Paul Rubin @ 2020-09-03  6:50 UTC (permalink / raw)


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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-03  6:50 new(?) intros to Ada and Spark on adacore.com Paul Rubin

comp.lang.ada

Archives are clonable: git clone --mirror https://archive.legitdata.co/comp.lang.ada

Example config snippet for mirrors


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git