[ 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