dev-lang/
idris2

Purely functional programming language with first class types

https://idris-lang.org/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
0.6.0  : 0 ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?riscv ?sparc
0.5.1_p20220920  : 0 ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?riscv ?sparc
0.5.1_p20220224-r1  : 0 ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?riscv ?sparc

Package Metadata