Description
Idris 2 is a purely functional programming language with first class types.
Installation Instructions
Requires chez-scheme from https://copr.fedorainfracloud.org/coprs/superboum/chez-scheme/
$ sudo dnf copr enable superboum/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] (0)*, ppc64le [modified] (0)*, x86_64 [modified] (0)* | EPEL 8 (86 downloads) |
Fedora 35
|
aarch64 (0)*, ppc64le (0)*, x86_64 (0)* | Fedora 35 (0 downloads) |
|
Fedora 36
|
aarch64 (0)*, ppc64le (0)*, x86_64 (26)* | Fedora 36 (32 downloads) |
|
Fedora 37
|
aarch64 (0)*, ppc64le (0)*, x86_64 (8)* | Fedora 37 (13 downloads) |
|
Fedora 38
|
aarch64 (0)*, ppc64le (0)*, x86_64 (0)* | Fedora 38 (2 downloads) |
|
Fedora rawhide
|
aarch64 (0)*, ppc64le (0)*, x86_64 (0)* | Fedora rawhide (88 downloads) |
* Total number of packages downloaded in the last seven days.
Quick Enable
#> dnf copr enable petersen/idris2
More info about enabling Copr repositories