Descrição
O elpa-agda2-mode: Dependently typed functional programming language — emacs mode. Empacotado para o arquivo oficial do Debian para que os usuários possam instalá-lo e atualizá-lo pelo gerenciador de pacotes do sistema., com upstream mantido em https://wiki.portal.chalmers.se/agda/.