input.rpal

let Sum(A) = Psum (A,Order A )
    where rec Psum (T,N) = N eq 0 -> 0
        | Psum(T,N-1)+T N
            in Print ( Sum (1,2,3,4,5) )