Idris on Fedora

Fedora package

Idris has been packaged in Fedora for a while now, and is also available for Fedora 24. 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 21+ due to library dependencies, but the builds should also install and work on Fedora 19 and 20, and EPEL 7.

Manual installation with cblrpm

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.