How To Install Idris On Arch, Fedora And MacOS?
pacman -S idrisClick to copy
dnf install idrisClick to copy
brew install idrisClick to copy
idrisFunctional 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.