How To Install Idris On Arch, Fedora And MacOS?
Install idris
-
Arch Linux
pacman -S idris
Click to copy -
Fedora
dnf install idris
Click to copy -
macOS
brew install idris
Click to copy
idris
Functional Programming Language with Dependent Types
To install the latest version of idris in your favorite operating system just copy the idris installation command from above and paste it into terminal. It will download and install the latest version of idris 2023 package in your OS.