The current instructions for idris installation covers only Linux and Docker Images. As it turns out, installing on OSX is also rather straight forward. Namely, assuming homebrew has been installed,
$ brew install chezscheme
$ bash -c "$(curl -fsSL https://raw.githubusercontent.com/stefan-hoeck/idris2-pack/main/install.bash)"
$ export PATH=$PATH:$HOME/.pack/bin
Cheers!
I see the idris installation page has been updated with the OSX info:
bash -c "$(curl -fsSL https://raw.githubusercontent.com/stefan-hoeck/idris2-pack/main/install.bash)"
export PATH="$HOME/.pack/bin:$HOME/.idris2/bin:$PATH"
pack info
However, this is actually inaccurate. If one installed via pack on OSX, all the stuff would be installed under $HOME/.pack/bin. The directory$HOME/.idris2 won’t even exist.
I think the above info is probaby copied from the idris official home page, but in general the idris official info is severely out of date; and this part is no exception 