ソースパッケージ: agda-stdlib (0.14-1)
agda-stdlib に関するリンク
Trisquel の資源:
メンテナ:
Original Maintainers:
- Iain Lane
- Debian Haskell Group
(メールアーカイブ)
外部の資源:
- ホームページ [wiki.portal.chalmers.se]
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- agda-stdlib
- standard library for Agda
- agda-stdlib-doc
- standard library for Agda — documentation
その他の agda-stdlib 関連パッケージ
-
- adep:
debhelper
(>= 10)
- helper programs for debian/rules
-
- adep:
agda-bin
(>= 2.5.3)
- commandline interface to Agda
-
- adep:
agda-bin
(<< 2.5.4~)
- commandline interface to Agda
-
- adep:
libghc-agda-dev
(>= 2.5.3)
- dependently typed functional programming language
-
- adep:
libghc-agda-dev
(<< 2.5.4~)
- dependently typed functional programming language
-
- adep:
libghc-filemanip-dev
- expressive file and directory manipulation for Haskell