petersen/idris2

Description

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

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

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
EPEL 8	aarch64 (25)*, x86_64 (19)*	EPEL 8 (155 downloads)
EPEL 9	aarch64 (16)*, ppc64le (0)*, x86_64 (8)*	EPEL 9 (20 downloads)
Fedora 38	aarch64 (15)*, ppc64le (17)*, x86_64 (26)*	Fedora 38 (0 downloads)
Fedora 39	aarch64 (22)*, ppc64le (16)*, x86_64 (43)*	Fedora 39 (66 downloads)
Fedora 40	aarch64 (19)*, ppc64le (12)*, x86_64 (49)*	Fedora 40 (47 downloads)
Fedora 41	aarch64 (12)*, ppc64le (7)*, x86_64 (21)*	Fedora 41 (11 downloads)
Fedora rawhide	aarch64 (19)*, ppc64le (15)*, x86_64 (56)*	Fedora rawhide (161 downloads)

* Total number of downloaded packages.

External Repository List

The following repositories are accessible during builds

• copr://petersen/chez-scheme