Description
Idris 2 is a purely functional programming language with first class types.
Installation Instructions
Requires chez-scheme from https://copr.fedorainfracloud.org/coprs/gwerbin/chez-scheme/
$ sudo dnf copr enable gwerbin/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 |
|---|---|---|
EPEL 8
|
aarch64 [modified] (10)*, ppc64le [modified] (0)*, x86_64 [modified] (6)* | EPEL 8 (112 downloads) |
Fedora 37
|
aarch64 (13)*, ppc64le (9)*, x86_64 (14)* | Fedora 37 (0 downloads) |
|
Fedora 38
|
aarch64 (6)*, ppc64le (6)*, x86_64 (14)* | Fedora 38 (27 downloads) |
|
Fedora 39
|
aarch64 (6)*, ppc64le (6)*, x86_64 (22)* | Fedora 39 (27 downloads) |
|
Fedora 40
|
aarch64 (3)*, ppc64le (3)*, x86_64 (0)* | Fedora 40 (3 downloads) |
|
Fedora rawhide
|
aarch64 (6)*, ppc64le (6)*, x86_64 (29)* | Fedora rawhide (122 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