Ada Info

The useful links to learn the Ada and SPARK language

Web:

• Learning Platform

https://learn.adacore.com/

• User Guide

https://docs.adacore.com/spark2014-docs/html/ug/index.html

https://www.adacore.com/papers/spark-2014-users-guide-japanese

• Make with Ada

https://www.makewithada.org/

• AdaIC

http://www.adaic.org/