[ etiona ]
[ nabia ]
[ 源代码: agda ]
软件包: agda-mode (2.6.0.1-1build4)
agda-mode 的相关链接
Trisquel 的资源:
下载源码包 agda:
维护者:
Original Maintainer:
- Debian Haskell Group (Mail Archive)
外部的资源:
- 主页 [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