RosettaCodeData/Task/A+B/Idris/a+b.idris
2016-12-05 23:44:36 +01:00

4 lines
78 B
Text

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