
14 Aug
2018
14 Aug
'18
9:09 a.m.
I thought the answer would be easy to find on the internet, but I cannot find any package that features a strict version of `sum`. Do you know if such a function is defined anywhere? (like a custom prelude for instance) I know it is trivial to define, but I would prefer not to repeat myself (and somebody else). Thanks!