all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: agda  ]

Package: agda-mode (

Links for agda-mode


Debian Resources:

Download Source Package agda:


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.

Packages providing agda-mode

dependently typed functional programming language — emacs mode

Download agda-mode

Download for all available architectures
Architecture Package Size Installed Size Files
all 114.9 kB122.0 kB [list of files]