Idris on Fedora

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.

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.

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.