Debian logoDebian Screenshots >

agda-mode

transitional dummy package for elpa-agda2-mode

Description

agda-mode has been ELPAfied. See the elpa-agda2-mode package. This transitional package is safe to remove.

Homepage

http://wiki.portal.chalmers.se/agda/


Upload more screenshots