:lang agda

This module adds support for the agda programming language.

Emacs support is included in the agda release (you can find installation instructions here). This module attempts to find the location of agda2.el via the agda-mode locate command that comes with the agda release. Users can set this manually by setting the +agda2-dir variable.