Submission #55229471

Source Code Expand

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
textToNat : Text -> Nat
textToNat t =
  match Nat.fromText t with
    Optional.None -> 0
    Some x        -> x
main : '{IO, Exception} ()
main _ =
  line1 = readLine ()
  line2 = readLine ()
  line3 = readLine ()
  a = textToNat line1
  (bstr, cstr) = break isSpace line2
  sum = a Nat.+ (textToNat bstr) Nat.+ (textToNat cstr)
  printLine ((Nat.toText sum) Text.++ " " Text.++ line3)
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

textToNat : Text -> Nat
textToNat t =
  match Nat.fromText t with
    Optional.None -> 0
    Some x        -> x

main : '{IO, Exception} ()
main _ =
  line1 = readLine ()
  line2 = readLine ()
  line3 = readLine ()
  a = textToNat line1
  (bstr, cstr) = break isSpace line2
  sum = a Nat.+ (textToNat bstr) Nat.+ (textToNat cstr)
  printLine ((Nat.toText sum) Text.++ " " Text.++ line3)

Submission Info

Judge Result