help / color / Atom feed
* new(?) intros to Ada and Spark on
@ 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: :

    Introduction to Ada
    Introduction to SPARK
    Ada for the C++ or Java Developer
    SPARK Ada for the MISRA C Developer
    Introduction to GNAT Toolchain

^ 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 Paul Rubin


Archives are clonable: git clone --mirror

Example config snippet for mirrors

AGPL code for this site: git clone