# 8cffd315ea634fdff22071e44be9860b3d659964f1fc252687bd9848e5410a6a Elan 1.6.2 guest default_profile valid

main
  let names be ["Abel", "Boole", "Cantor", "Descartes"]
  let file be createFileForWriting("Maths.txt")
  variable i set to 0
  repeat
    call file.writeLine(names[i])
    set i to i + 1
  end repeat when i is names.length()
  call file.saveAndClose()
end main
