GEMini Atari/GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso/files/language/isetl/quant.t

Text File | 1987-08-20 | 276 b | 12 lines

program quant;
    if forall i in [1..2], j in [1..2], k in [1..2] | i + j + k < 10
    then print "correct";
    else print "wrong";
    end;

    if forall i in [1..2], j in [1..2], k in [1..2] | i + j + k < 5
    then print "wrong";
    else print "correct";
    end;
end;