1 2 3 4 5 6 7 8 9 10
:import std/Combinator . :import std/Math . solve [|(sum-of-squares - square-of-sum)] sum-of-squares ∑ (+1) → 0 | (\pow (+2)) square-of-sum (∑ (+1) → 0 | i) ** (+2) :test ((solve (+10)) =? (+2640)) ([[1]]) main [solve (+100)]
