# 21d07f3376337c89a1385d8215c9a60b9a0ac55daca9d897d4ef14135b88e75b Elan 1.8.0 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
