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 (30)*	EPEL 8 (167 downloads)
EPEL 9	aarch64 (27)*, ppc64le (0)*, x86_64 (16)*	EPEL 9 (26 downloads)
Fedora 39	aarch64 (34)*, ppc64le (22)*, x86_64 (55)*	Fedora 39 (0 downloads)
Fedora 40	aarch64 (31)*, ppc64le (20)*, x86_64 (61)*	Fedora 40 (55 downloads)
Fedora 41	aarch64 (24)*, ppc64le (16)*, x86_64 (41)*	Fedora 41 (19 downloads)
Fedora rawhide	aarch64 (31)*, ppc64le (21)*, x86_64 (76)*	Fedora rawhide (171 downloads)

* Total number of downloaded packages.

External Repository List

The following repositories are accessible during builds

• copr://petersen/chez-scheme