package/develop/idris/idris.desc

   1 [COPY] --- T2-COPYRIGHT-NOTE-BEGIN ---
   2 [COPY] T2 SDE: package/*/idris/idris.desc
   3 [COPY] Copyright (C) 2022 - 2023 The T2 SDE Project
   4 [COPY]
   5 [COPY] This Copyright note is generated by scripts/Create-CopyPatch,
   6 [COPY] more information can be found in the files COPYING and README.
   7 [COPY]
   8 [COPY] This program is free software; you can redistribute it and/or modify
   9 [COPY] it under the terms of the GNU General Public License version 2.
  10 [COPY] --- T2-COPYRIGHT-NOTE-END ---
  11
  12 [I] A Language for Type-Driven Development
  13
  14 [T] Idris is a programming language designed to encourage Type-Driven
  15 [T] Development.
  16 [T]
  17 [T] In type-driven development, types are tools for constructing programs. We
  18 [T] treat the type as the plan for a program, and use the compiler and type
  19 [T] checker as our assistant, guiding us to a complete program that satisfies
  20 [T] the type.
  21
  22 [U] https://www.idris-lang.org
  23
  24 [A] Edwin Brady
  25 [M] Tomas Glozar <tglozar@gmail.com>
  26
  27 [C] base/development
  28
  29 [L] BSD
  30 [S] Stable
  31 [V] 0.6.0
  32 [P] X -----5---9 500.100
  33
  34 [O] var_append makeopt ' ' 'bootstrap SCHEME=scheme'
  35 [O] var_append makeinstopt ' ' "PREFIX=$root/$prefix"
  36
  37 [D] 50ecb12c8432a329301524040d64a02be5726d0764c67303e951dc69 idris2-0.6.0.tgz https://www.idris-lang.org/idris2-src/