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

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

Ссылки для agda-bin

Screenshot

Ресурсы Debian:

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

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

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

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

интерфейс командной строки для Agda

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

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

Пакет предоставляет программу командной строки для проверки типов и компиляции программ на Agda. Также программа может создавать HTML-файлы с ссылками и подсветкой из исходного текста на Agda.

Теги: Разработка программного обеспечения: Тестирование и обеспечение качества, Пользовательский интерфейс: Командная строка, Роль: role::program, uitoolkit::ncurses

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

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

Загрузка agda-bin

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 2.6.3-1 17 254,1 Кб169 046,0 Кб [список файлов]
amd64 2.6.4.3-1+b2 9 615,6 Кб66 534,0 Кб [список файлов]
arm64 2.6.4.3-1+b2 9 637,4 Кб73 633,0 Кб [список файлов]
armel 2.6.4.3-1+b1 13 650,6 Кб86 671,0 Кб [список файлов]
hppa (неофициальный перенос) 2.6.4.3-1+b1 14 393,5 Кб163 367,0 Кб [список файлов]
i386 2.6.4.3-1+b2 14 410,8 Кб106 984,0 Кб [список файлов]
ia64 (неофициальный перенос) 2.6.1-1+b1 22 542,7 Кб701 265,0 Кб [список файлов]
loong64 (неофициальный перенос) 2.6.4.3-1+b1 13 462,5 Кб107 252,0 Кб [список файлов]
m68k (неофициальный перенос) 2.6.1-1+b1 10 580,7 Кб113 533,0 Кб [список файлов]
mips64el 2.6.4.3-1+b1 14 348,1 Кб140 676,0 Кб [список файлов]
ppc64 (неофициальный перенос) 2.6.4.3-1 9 178,5 Кб124 410,0 Кб [список файлов]
ppc64el 2.6.4.3-1 9 238,9 Кб103 221,0 Кб [список файлов]
riscv64 2.6.4.3-1 12 786,6 Кб82 288,0 Кб [список файлов]
s390x 2.6.4.3-1 19 309,6 Кб143 968,0 Кб [список файлов]
sparc64 (неофициальный перенос) 2.6.4.3-1 12 602,1 Кб216 652,0 Кб [список файлов]
x32 (неофициальный перенос) 2.6.1-1+b2 34 236,4 Кб137 406,0 Кб [список файлов]