# 3a14923bab031207d8ee5af478723ef2dd794fa7222afc8f96ab741c67cdb897 Elan 1.8.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
