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