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