Установка:
Для установки agda-stdlib в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Стандартная библиотека для Agda
-
Зависимости:
-
Зависимый язык функционального программирования
Для установки agda-stdlib в Ubuntu / Linux Mint / Debian, введите в Терминал:
Стандартная библиотека для Agda
Зависимый язык функционального программирования