How to Install agda-mode in Ubuntu 18.04


Install agda-mode by entering the following commands in the terminal:

sudo apt update
sudo apt install agda-mode

Description:

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.

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

Version: 2.5.3-3build1

Section: universe/misc