A learning platform to teach the Ada and SPARK programming languages

Article URL: https://learn.adacore.com/

Comments URL: https://news.ycombinator.com/item?id=17610762

Points: 64

# Comments: 19

from Hacker News: Front Page https://ift.tt/2JTJU5X
via