Description
Idris 2 is a purely functional programming language with first class types.
Installation Instructions
Now requires chez-scheme from https://copr.fedorainfracloud.org/coprs/petersen/chez-scheme/
$ sudo dnf copr enable petersen/chez-scheme
$ sudo dnf install idris2
$ idris2
Active Releases
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
Release | Architectures | Repo Download |
---|---|---|
![]() |
aarch64 (12)*, x86_64 (9)* | EPEL 8 (127 downloads) |
![]() |
aarch64 (0)*, ppc64le (0)*, x86_64 (0)* | EPEL 9 (5 downloads) |
![]() |
aarch64 (6)*, ppc64le (6)*, x86_64 (17)* | Fedora 38 (0 downloads) |
![]() |
aarch64 (6)*, ppc64le (7)*, x86_64 (25)* | Fedora 39 (38 downloads) |
![]() |
aarch64 (4)*, ppc64le (3)*, x86_64 (18)* | Fedora 40 (20 downloads) |
![]() |
aarch64 (7)*, ppc64le (7)*, x86_64 (37)* | Fedora rawhide (140 downloads) |
* Total number of downloaded packages.
External Repository List
The following repositories are accessible during builds
Quick Enable
#> dnf copr enable petersen/idris2
More info about enabling Copr repositories