[ etiona ]
[ nabia ]
[ ソース: agda ]
パッケージ: agda-mode (2.6.0.1-1build4)
agda-mode に関するリンク
Trisquel の資源:
agda ソースパッケージをダウンロード:
メンテナ:
Original Maintainer:
- Debian Haskell Group (メールアーカイブ)
外部の資源:
- ホームページ [wiki.portal.chalmers.se]
類似のパッケージ:
transitional dummy package for elpa-agda2-mode
agda-mode has been ELPAfied. See the elpa-agda2-mode package. This transitional package is safe to remove.
agda-mode を提供するパッケージ
- elpa-agda2-mode
- dependently typed functional programming language — emacs mode