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

[ Источник: agda  ]

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

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

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

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

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

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

• dep: libatomic1 (>= 4.8) [armel]

  библиотека для атомарного выполнения кода

• dep: libc6 (>= 2.38)

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

• dep: libffi8 (>= 3.4)

  библиотека для связывания программ написанных на разных языках

• dep: libghc-agda-dev (<< 2.6.4.3+~)

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

  dep: libghc-agda-dev (>= 2.6.4.3)

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  библиотека для работы с числами произвольной точности

• dep: libnuma1 (>= 2.0.11)

  библиотека управления стратегиями NUMA-систем

• dep: libtinfo6 (>= 6)

  низкоуровневая библиотека для работы с терминалом

• dep: zlib1g (>= 1:1.1.4)

  библиотека сжатия

• sug: elpa-agda2-mode

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

Загрузка agda-bin

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	2.6.4.3-1	9 621,3 Кб	66 537,0 Кб	[список файлов]
arm64	2.6.4.3-1	9 642,4 Кб	73 704,0 Кб	[список файлов]
armel	2.6.4.3-1+b1	13 650,6 Кб	86 671,0 Кб	[список файлов]
i386	2.6.4.3-1+b1	14 402,1 Кб	106 992,0 Кб	[список файлов]
mips64el	2.6.4.3-1+b1	14 348,1 Кб	140 676,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 Кб	[список файлов]