Skip to content
Sections
>> Trisquel >> Packages >> nabia >> misc >> agda-mode
etiona  ] [  nabia  ]
[ Source: agda  ]

Пакунок: agda-mode (2.6.0.1-1build4)

Links for agda-mode

agda-mode

Trisquel Resources:

Download Source Package agda:

Maintainer:

Original Maintainer:

External Resources:

Similar packages:

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 [список файлів]