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 (34)*, x86_64 (31)*	EPEL 8 (172 downloads)
EPEL 9	aarch64 (28)*, ppc64le (0)*, x86_64 (16)*	EPEL 9 (28 downloads)
Fedora 39	aarch64 (34)*, ppc64le (22)*, x86_64 (59)*	Fedora 39 (0 downloads)
Fedora 40	aarch64 (31)*, ppc64le (20)*, x86_64 (65)*	Fedora 40 (61 downloads)
Fedora 41	aarch64 (24)*, ppc64le (16)*, x86_64 (43)*	Fedora 41 (22 downloads)
Fedora 42	aarch64 (0)*, ppc64le (0)*, x86_64 (0)*	Fedora 42 (0 downloads)
Fedora rawhide	aarch64 (31)*, ppc64le (21)*, x86_64 (76)*	Fedora rawhide (176 downloads)

* Total number of downloaded packages.

External Repository List

The following repositories are accessible during builds

• copr://petersen/chez-scheme