Submission #55001709

Source Code Expand

import std/os/readline

fun main()
  val astr = readline()
  val bcstr = readline()
  val s = readline()
  val a = mbint(parse-int(astr))
  val bclist = split(bcstr, " ")
  val b = mbint(parse-int(string(head(bclist))))
  val c = mbint(parse-int(string(head(tail(bclist)))))
  println(join([show(a + b + c), " ", s]))

Submission Info

Submission Time
Task PracticeA - Welcome to AtCoder
User mikecat
Language Koka (koka 2.4.0)
Score 100
Code Size 329 Byte
Status AC
Exec Time 3 ms
Memory 2704 KiB

Compile Error

compile: Main.kk
loading: std/core
loading: std/core/types
loading: std/core/hnd
loading: std/os/readline
check  : Main
linking: a
created: .koka/v2.4.0/gcc-drelease/a
created: a.out
add default effect for std/core/exn

Judge Result

Set Name All
Score / Max Score 100 / 100
Status
AC × 7
Set Name Test Cases
All 00_rnd_01.txt, 00_rnd_02.txt, 00_rnd_03.txt, 00_rnd_04.txt, 00_rnd_05.txt, 00_sample_1.txt, 00_sample_2.txt
Case Name Status Exec Time Memory
00_rnd_01.txt AC 1 ms 2704 KiB
00_rnd_02.txt AC 1 ms 2600 KiB
00_rnd_03.txt AC 1 ms 2620 KiB
00_rnd_04.txt AC 3 ms 2496 KiB
00_rnd_05.txt AC 1 ms 2672 KiB
00_sample_1.txt AC 1 ms 2680 KiB
00_sample_2.txt AC 1 ms 2612 KiB