Add elements of array in jsonnet

Question

I am trying to add elements of an array in jsonnet. Can someone post a sample?

Sample input: [0, 1, 2, 3]

output 6