dev-lang / idris2

Purely functional programming language with first class types

Official package sites : https://idris-lang.org/ ·

Idris is a programming language designed to encourage Type-Driven Development. In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct.

v0.5.1_p20220224-r1 :: 0 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86
USE flags
chez doc racket test-full

v0.5.1_p20220131-r1 :: 0 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86
USE flags
chez doc racket test-full

v0.5.1_p20211112-r1 :: 0 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86
USE flags
chez doc racket test-full

General

chez
build using dev-scheme/chez
doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
racket
build using dev-scheme/racket
test-full
pull in depedndencies to run all tests

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

dev-scheme / chez : A programming language based on R6RS

dev-scheme / racket : General purpose, multi-paradigm Lisp-Scheme programming language

dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers

dev-scheme / chez : A programming language based on R6RS

dev-scheme / racket : General purpose, multi-paradigm Lisp-Scheme programming language

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/idris2: rebuild on chez/racket slot change
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/idris2: bump to 0.5.1_p20220224 (2022.02.24 snapshot)
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/idris2: bump to 0.5.1_p20220131
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/idris2: use dodoc instead of insinto
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/idris2: new package; add version 0.5.1_p20211112
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>