Difference Of Squares - Idris | SlaveCode