[ Источник: agda ]
Пакет: agda (2.6.0.1-1build4) [universe]
Ссылки для agda
Ресурсы Ubuntu:
Исходный код agda:
Сопровождающий:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Debian Haskell Group (Почтовый архив)
It should generally not be necessary for users to contact the original maintainer.
Внешние ресурсы:
- Сайт [wiki.portal.chalmers.se]
Подобные пакеты:
dependently typed functional programming language
Другие пакеты, относящиеся к agda
|
|
|
|
-
- dep: agda-bin
- commandline interface to Agda
-
- dep: agda-stdlib
- standard library for Agda
-
- dep: agda-stdlib-doc
- standard library for Agda — documentation
-
- dep: elpa-agda2-mode
- dependently typed functional programming language — emacs mode
-
- dep: libghc-agda-dev
- dependently typed functional programming language
Загрузка agda
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
all | 4,0 Кб | 23,0 Кб | [список файлов] |