Fahad/MCG-CS/Code/for-loop.kcl
author Christian Urban <christian.urban@kcl.ac.uk>
Sat, 19 Mar 2022 13:55:38 +0000 (2022-03-19)
changeset 454 3938480e17f7
parent 45 7545b1bc1514
permissions -rw-r--r--
isar proofs
var ntimes = 0;
print "Rate King's College from 1 to 10";
read ntimes;
var x = 0;
var y = 0;
for x = y to ntimes do
   print "King's College is the best";
end;
print "press any key to continue...";
var continue = 0;
read continue;