Skip to content
Sections
>> Trisquel >> 套件 >> nabia >> misc >> agda-mode
etiona  ] [  nabia  ]
[ 原始碼: agda  ]

套件: agda-mode (2.6.0.1-1build4)

agda-mode 的相關超連結

agda-mode

Trisquel 的資源:

下載原始碼套件 agda

維護者:

Original Maintainer:

外部的資源:

  • 主頁 [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

下載 agda-mode

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
all 3.6 kB23 kB [文件列表]