все параметры
[  bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Источник: agda  ]

Пакет: libghc-agda-dev (2.6.4.3-1 и другие)

Ссылки для libghc-agda-dev

Screenshot

Ресурсы Debian:

Исходный код agda:

Сопровождающий:

Внешние ресурсы:

Подобные пакеты:

функциональный язык программирования с зависимыми типами

Agda является функциональным языком программирования с зависимыми типами. В ней имеются индуктивные семейства, которые похожи на GADT из Haskell, но они могут быть индексированы по значениями, а не просто по типам. Также в ней имеются модули с поддержкой параметризации, миксфиксные операторы, символы Unicode и интерактивный интерфейс Emacs (программа проверки типов может помочь в разработке вашего кода).

Также Agda является интерактивным средством доказательства теорем. Она является интерактивной системой записи и проверки доказательств. Agda основана на интуиционистской теории типов, базовой системе конструктивной математики, разработанной шведским логиком Пэром Мартином-Лёфом. Agda во многом схожа с другими интерактивными средствами доказательства теорем, основанными на зависимых типах, такими как Coq, Epigram и NuPRL.

Пакет содержит библиотеку для языка программирования Haskell. См. http://www.haskell.org/ для более детальной информации о Haskell.

Другие пакеты, относящиеся к libghc-agda-dev

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libghc-agda-dev

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 2.6.3-1 37 219,9 Кб432 656,0 Кб [список файлов]
amd64 2.6.4.3-1+b2 22 286,2 Кб214 834,0 Кб [список файлов]
arm64 2.6.4.3-1+b2 23 896,1 Кб251 437,0 Кб [список файлов]
armel 2.6.4.3-1+b1 30 469,8 Кб270 734,0 Кб [список файлов]
hppa (неофициальный перенос) 2.6.4.3-1+b1 41 239,4 Кб427 861,0 Кб [список файлов]
i386 2.6.4.3-1+b2 36 466,7 Кб290 165,0 Кб [список файлов]
ia64 (неофициальный перенос) 2.6.1-1+b1 67 508,4 Кб1 614 526,0 Кб [список файлов]
loong64 (неофициальный перенос) 2.6.4.3-1+b1 45 024,7 Кб507 112,0 Кб [список файлов]
m68k (неофициальный перенос) 2.6.1-1+b1 60 220,5 Кб618 821,0 Кб [список файлов]
mips64el 2.6.4.3-1+b1 33 067,7 Кб398 774,0 Кб [список файлов]
ppc64 (неофициальный перенос) 2.6.4.3-1 28 628,4 Кб391 359,0 Кб [список файлов]
ppc64el 2.6.4.3-1 29 773,5 Кб350 758,0 Кб [список файлов]
riscv64 2.6.4.3-1 40 684,0 Кб445 815,0 Кб [список файлов]
s390x 2.6.4.3-1 39 535,3 Кб452 611,0 Кб [список файлов]
sparc64 (неофициальный перенос) 2.6.4.3-1 36 539,8 Кб573 215,0 Кб [список файлов]
x32 (неофициальный перенос) 2.6.1-1+b2 68 192,5 Кб652 757,0 Кб [список файлов]