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/superboum/chez-scheme/

$ sudo dnf copr enable superboum/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] (0)*, ppc64le [modified] (0)*, x86_64 [modified] (0)* EPEL 8 (71 downloads)
Fedora 34 aarch64 (0)*, ppc64le (0)*, x86_64 (0)* Fedora 34 (0 downloads)
Fedora 35 aarch64 (0)*, ppc64le (0)*, x86_64 (0)* Fedora 35 (35 downloads)
Fedora 36 aarch64 (0)*, ppc64le (0)*, x86_64 (6)* Fedora 36 (11 downloads)
Fedora rawhide aarch64 (0)*, ppc64le (0)*, x86_64 (0)* Fedora rawhide (73 downloads)

* Total number of packages downloaded in the last seven days.