[ Източник: 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 кБ | [списък на файловете] |