Error on Mac / Linux : Zsh: command not found idris

It looks like you are trying to run a command that your system cannot find. This can happen for a few reasons:

You might have mistyped the command name. Make sure you are typing the command correctly and that it is spelled correctly.

The command might be located in a different directory than the one you are currently in. In this case, you will need to specify the full path to the command or add the directory where the command is located to your PATH environment variable.

The command you are trying to run might not be installed on your system. In this case, you will need to install the command before you can use it. Try this command:

Brew install idris

How to Fix Zsh Command Not Found Error on macOS?

Other errors on Mac / Linux :

Command not found icdiff
Command not found node@16
Command not found httpie
Command not found gtkmm3
Command not found format-udf
Command not found pastebinit
Command not found mecab-ko
Command not found ucloud
Command not found adr-tools
Command not found ifuse
Command not found libxvmc
Command not found allure
Command not found nmh
Command not found clash
Command not found cherrytree
Command not found mahout
Command not found jython
Command not found composer
Command not found vint
Command not found cmockery
Command not found xcodegen
Command not found a52dec
Command not found redis-leveldb
Command not found mighttpd2
Command not found hblock
Command not found emp
Command not found exiftags
Command not found werf
Command not found ircd-irc2
Command not found innotop
Command not found corral
Command not found vnstat
Command not found rxvt-unicode
Command not found scummvm
Command not found bk
Command not found camlp5
Command not found mpd
Command not found poppler-qt5
Command not found sqlcipher
Command not found openrtsp
Command not found driftctl
Command not found ns-3
Command not found libucl
Command not found mprocs
Command not found asroute
Command not found kyoto-tycoon
Command not found datetime-fortran
Command not found libtommath
Command not found sqlmap
Command not found pypy3
Command not found easyrpg-player
Command not found seexpr
Command not found blackbox
Command not found nanomsgxx
Command not found dwm

Zsh: command not found idris

How to Fix Zsh Command Not Found Error on macOS?