agda-mode

Transitional dummy package for elpa-agda2-mode
  http://wiki.portal.chalmers.se/agda/
  0
  no reviews



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