Unnamed repository; edit this file 'description' to name the repository.
1
2
3
4
process : [Nat] -> Nat
process xs =
    total = List.foldLeft (+) 0 xs
    total