Normal view

There are new articles available, click to refresh the page.

Before yesterdayFosstodon @adaprogrammers

fosstodon.org/@AdaProgrammers with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line ("Toot!"); end Hello; #Ada #SPARK #MakewithAda

Fosstodon @adaprogrammers

By: Ada Programmers (@adaprogrammers)

7 November 2022 at 14:13

adaprogrammers

fosstodon.org/@AdaProgrammers with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line ("Toot!"); end Hello; #Ada #SPARK #MakewithAda