Страницы, ссылающиеся на «Agda»
← Agda
 | Для определения статей-сирот не учитываются ссылки со страниц значений, из статей о датах и служебных списков. |
- Инструменты
- Количество ссылок
Следующие страницы ссылаются на «Agda»:
Показано 25 элементов.
- Язык программирования (← ссылки | править)
- Haskell (← ссылки | править)
- Обобщённый алгебраический тип данных (← ссылки | править)
- Автоматическое доказательство (← ссылки | править)
- Лямбда-куб (← ссылки | править)
- Хронология языков программирования (← ссылки | править)
- Тип данных (← ссылки | править)
- Зависимый тип (← ссылки | править)
- Соответствие Карри — Ховарда (← ссылки | править)
- Параметрический полиморфизм (← ссылки | править)
- Гомотопическая теория типов (← ссылки | править)
- Типобезопасность (← ссылки | править)
- Idris (язык программирования) (← ссылки | править)
- Инструмент интерактивного доказательства теорем (← ссылки | править)
- Проект:Информационные технологии/Списки/Список языков программирования (← ссылки | править)
- Проект:Информационные технологии/Оценки (← ссылки | править)
- Проект:Информационные технологии/Статьи (← ссылки | править)
- Проект:Информационные технологии/Патрулирование (← ссылки | править)
- Проект:Информационные технологии/Неотпатрулированные страницы (← ссылки | править)
- Проект:Информационные технологии/Программирование/Статьи (← ссылки | править)
- Проект:Информационные технологии/Свободное программное обеспечение/Статьи для улучшения (← ссылки | править)
- Проект:Информационные технологии/Программное обеспечение/К улучшению (← ссылки | править)
- Проект:Информационные технологии/Свободное программное обеспечение/К улучшению (← ссылки | править)
- Обсуждение проекта:Словники/Математическая энциклопедия (← ссылки | править)
- Обсуждение проекта:Информационные технологии/Архив/2 (← ссылки | править)