[COPY] --- T2-COPYRIGHT-BEGIN ---
[COPY] t2/package/*/idris/idris.desc
[COPY] Copyright (C) 2022 - 2025 The T2 SDE Project
[COPY] SPDX-License-Identifier: GPL-2.0
[COPY] --- T2-COPYRIGHT-END ---

[I] A Language for Type-Driven Development

[T] Idris is a programming language designed to encourage Type-Driven
[T] Development.
[T]
[T] In type-driven development, types are tools for constructing programs. We
[T] treat the type as the plan for a program, and use the compiler and type
[T] checker as our assistant, guiding us to a complete program that satisfies
[T] the type.

[U] https://www.idris-lang.org

[A] Edwin Brady
[M] Tomas Glozar <tglozar@gmail.com>

[C] base/development

[L] BSD
[S] Stable
[V] 0.7.0

var_append makeopt ' ' 'bootstrap SCHEME=scheme'
var_append makeinstopt ' ' PREFIX=$root/$prefix

[D] 700bb50c6b9fbc91ec4ccd2db56561bdb9c92e76eb558a028b527057 idris2-0.7.0.tar.gz https://github.com/idris-lang/Idris2/archive/refs/tags/v0.7.0/