The Ada Program: countdown.adb

  1 -- countdown.adb: count backwards from 10
  2 
  3 with Ada.Text_IO, Ada.Integer_Text_IO;
  4 use Ada;
  5 
  6 procedure Countdown is
  7 
  8 begin
  9 
 10    for C in reverse 1..10 loop
 11 
 12       Integer_Text_IO.Put (C, Width=>0);
 13       Text_IO.Put (", ");
 14 
 15    end loop;
 16 
 17    Text_IO.Put_Line ("liftoff!");
 18 
 19 end Countdown;