6 kyu

Loading Kata: Program Verification #3: Tail-recursive sum