How To Install Idris On Arch, Fedora And MacOS?

How To Install Idris On Arch, Fedora And MacOS?

idris

Functional Programming Language with Dependent Types

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 2024 package in your OS.