Robot Simulator - Idris | SlaveCode