sum

Several ways to find the sum of the first n numbers in ATS.

Benchmarks

To run the benchmarks, first install atspkg. Then:

atspkg test target/sum-bench