idris: A Language for Type-Driven Development1

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.

... part of T2, get it here

URL: https://www.idris-lang.org

Author: Edwin Brady
Maintainer: Tomas Glozar <tglozar [at] gmail [dot] com>

License: BSD
Status: Stable
Version: 0.6.0

Download: https://www.idris-lang.org/idris2-src/ idris2-0.6.0.tgz

T2 source: idris.cache
T2 source: idris.desc

Build time (on reference hardware): 100% (relative to binutils)2

Installed size (on reference hardware): 50.54 MB, 292 files

Dependencies (build time detected): 00-dirtree binutils chez-scheme coreutils diffutils findutils gawk git gmp grep linux-header make sed tar

Installed files (on reference hardware): n.a.

1) This page was automatically generated from the T2 package source. Corrections, such as dead links, URL changes or typos need to be performed directly on that source.

2) Compatible with Linux From Scratch's "Standard Build Unit" (SBU).