все параметры
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Источник: agda  ]

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

Ссылки для 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.5.4.1-3+b1 11 900,9 Кб119 801,0 Кб [список файлов]
amd64 2.5.4.1-3+b1 5 730,9 Кб42 559,0 Кб [список файлов]
arm64 2.5.4.1-3+b1 6 621,9 Кб49 897,0 Кб [список файлов]
hppa (неофициальный перенос) 2.5.4.1-3+b1 9 887,9 Кб122 766,0 Кб [список файлов]
hurd-i386 2.5.4.1-3+b1 5 805,1 Кб34 003,0 Кб [список файлов]
i386 2.5.4.1-3+b1 5 807,0 Кб34 007,0 Кб [список файлов]
kfreebsd-amd64 2.5.4.1-3 5 731,1 Кб42 558,0 Кб [список файлов]
kfreebsd-i386 2.5.4.1-3 5 805,8 Кб34 010,0 Кб [список файлов]
m68k (неофициальный перенос) 2.5.4.1-3 6 953,5 Кб68 848,0 Кб [список файлов]
mips 2.5.4.1-3+b1 9 486,2 Кб93 602,0 Кб [список файлов]
mips64el 2.5.4.1-3+b1 10 932,8 Кб118 870,0 Кб [список файлов]
mipsel 2.5.4.1-3+b1 9 803,8 Кб93 646,0 Кб [список файлов]
ppc64 (неофициальный перенос) 2.5.4.1-3 7 503,2 Кб98 288,0 Кб [список файлов]
ppc64el 2.5.4.1-3+b1 7 779,3 Кб82 467,0 Кб [список файлов]
riscv64 (неофициальный перенос) 2.5.4.1-3+b1 14 866,1 Кб134 451,0 Кб [список файлов]
s390x 2.5.4.1-3+b1 12 901,1 Кб114 035,0 Кб [список файлов]
sparc64 (неофициальный перенос) 2.5.4.1-3 11 171,7 Кб186 492,0 Кб [список файлов]
x32 (неофициальный перенос) 2.5.4.1-3 20 634,9 Кб82 370,0 Кб [список файлов]