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