LibertyIɱp on Nostr: ``` sumTo :: Integer -> Integer sumTo 0 = 0 sumTo n = sumTo (n - 1) + n ```