Koans for the Ada programming language