You Can Now Learn SPARK and Ada Online

AdaCore’s "learn.adacore.com" site teaches Ada and SPARK programming using interactive sessions.

from Electronic Design - Engineering Essentials Curated By Experts http://bit.ly/2v9ndp5