Sum Of Multiples - Idris | SlaveCode