petersen/idris2

Project ID: 38432

Description

Idris 2 is a purely functional programming language with first class types.

https://www.idris-lang.org/

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] (12)*, ppc64le [modified] (0)*, x86_64 [modified] (9)* EPEL 8 (116 downloads)
Fedora 37 aarch64 (14)*, ppc64le (11)*, x86_64 (15)* Fedora 37 (0 downloads)
Fedora 38 aarch64 (6)*, ppc64le (6)*, x86_64 (17)* Fedora 38 (31 downloads)
Fedora 39 aarch64 (6)*, ppc64le (7)*, x86_64 (24)* Fedora 39 (29 downloads)
Fedora 40 aarch64 (4)*, ppc64le (3)*, x86_64 (8)* Fedora 40 (7 downloads)
Fedora rawhide aarch64 (7)*, ppc64le (7)*, x86_64 (33)* Fedora rawhide (127 downloads)

* Total number of downloaded packages.

External Repository List

The following repositories are accessible during builds