Trouble uninstalling Idris2 on M1 pro Mac

[Vineet Kalghatgi]

Hello Idris Team,

I am trying to install Idris2 on an Apple silicon Mac(M1 Pro) and having trouble with installation and therefore want to install idris2 from scratch again. 

So I need to remove .idris completely from my system. Since there isn't an make uninstall  in the Makefile, I am unsure on how to get started on removing Idris2 from my system, could you please help me with this?

Thanks and Regards,

Vineet Kalghatgi