[ Source: agda-stdlib ]
Пакунок: agda-stdlib-doc (1.7.3-1) [universe]
Links for agda-stdlib-doc
Ubuntu Resources:
Download Source Package agda-stdlib:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Iain Lane
- Debian Haskell Group (Mail Archive)
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [wiki.portal.chalmers.se]
Similar packages:
standard library for Agda — documentation
Інші пакунки пов'язані з agda-stdlib-doc
|
|
|
|
-
- sug: agda-stdlib
- standard library for Agda
Завантажити agda-stdlib-doc
Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|
all | 2,911.2 kB | 42,726.0 kB | [список файлів] |