packages
[ 原始碼： agda-stdlib ]
套件： agda-stdlib-doc (2.1-4) [universe]
agda-stdlib-doc 的相關超連結
Ubuntu 的資源：
下載原始碼套件 agda-stdlib：
維護者：
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Haskell Group (郵件存檔)
- Ilias Tsitsimpis
It should generally not be necessary for users to contact the original maintainer.
外部的資源：
- 主頁 [wiki.portal.chalmers.se]
相似套件：
standard library for Agda — documentation