Advanced Exercism • idris

Sum of Multiples