idris2
Purely functional programming language with first class types
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.
homepage ↗ github: idris-lang/Idris2
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 0.7.0-r2 | 1 | 14 h | details › |
| Miezhiko GitHub ↗ | 0.8.0 | 1 | 24 h | details › |
Versions & arches
Use flags of 0.8.0
- +chez build using dev-scheme/chez
- doc Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- minimal Install a very minimal build (disables, for example, plugins, fonts, most drivers, non-critical features)
- racket build using dev-scheme/racket
- test-full pull in depedndencies to run all tests