7 lines
135 B
Text
7 lines
135 B
Text
open monad io string list
|
|
|
|
a'b() = do
|
|
str <- readStr
|
|
putStrLn <| show <| sum <| map gread <| string.split " " <| str
|
|
|
|
a'b() ::: IO
|