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 (46)*, x86_64 (35)*	EPEL 8 (195 downloads)
EPEL 9	aarch64 (31)*, ppc64le (0)*, x86_64 (25)*	EPEL 9 (57 downloads)
Fedora 40	aarch64 (37)*, ppc64le (24)*, x86_64 (86)*	Fedora 40 (0 downloads)
Fedora 41	aarch64 (27)*, ppc64le (20)*, x86_64 (53)*	Fedora 41 (36 downloads)
Fedora 42	aarch64 (14)*, ppc64le (3)*, x86_64 (36)*	Fedora 42 (17 downloads)
Fedora rawhide	aarch64 (41)*, ppc64le (29)*, x86_64 (89)*	Fedora rawhide (191 downloads)

* Total number of downloaded packages.

External Repository List

The following repositories are accessible during builds

• copr://petersen/chez-scheme