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

Пакет: agda-stdlib (1.3-2)

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

Screenshot

Ресурсы Debian:

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

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

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

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

стандартная библиотека для Agda

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

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

Стандартная библиотека Agda содержит модули для многих общих структур данных и шаблонов доказательств. Предоставляемые модули включают:

 - Algebra: определение и рассуждение об абстрактных алгебраических
структурах
 - Category: использование идиом из теории категорий для структурирования
функциональных программ
 - Coinduction: поддержка коиндуктивного программирования
 - Data: типы данных и свойства типов данных
 - Foreign: относящееся к внешнему функциональному интерфейсу
 - Induction: общая инфраструктура для индукции
 - IO: функции, связанные с вводом/выводом
 - Level: уровни Universe
 - Relations: свойства и доказательства отношений
 - Size: размеры, используемые механизмом типов с размером

Пакет содержит полную библиотеку.

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

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

Загрузка agda-stdlib

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
all 71 520,6 Кб94 995,0 Кб [список файлов]