Armstrong Numbers - Idris | SlaveCode