RosettaCodeData/Task/A+B/Idris/a+b.idris
2023-07-01 13:44:08 -04:00

4 lines
78 B
Text

main : IO()
main = do
line <- getLine
print $ sum $ map cast $ words line