fosstodon.org/@AdaProgrammers with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line ("Toot!"); end Hello; #Ada #SPARK #MakewithAda
7 November 2022 at 14:13
fosstodon.org/@AdaProgrammers with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line ("Toot!"); end Hello; #Ada #SPARK #MakewithAda