Idris on Fedora

Fedora package

Idris was packaged in Fedora for a while. You can check the current packaged version here.

To install, run dnf install idris, etc.

Due to dependencies etc, the newest version of idris may not be packaged yet.

Package of latest version

See this copr repo for more recent packages. Currently builds are for Fedora due to library dependencies, but the builds should also install and work on EPEL 7.

Manual installation with cabal-rpm

Of course if you really want to you can also build idris yourself like on other distros. :)

cabal-rpm builddep idris
cabal install idris

should work okay and use available system libraries for the build.