History

Henrik Lissner 3f195614d9 Normalize :leader/:localleader keybinds Evil states no longer apply to them. Also removes x-alt-keysym.		2018-12-23 23:54:27 -05:00
..
config.el	Normalize :leader/:localleader keybinds	2018-12-23 23:54:27 -05:00
doctor.el	Added basic agda support.	2018-08-21 12:46:29 +02:00
README.org	Added basic agda support.	2018-08-21 12:46:29 +02:00

README.org

: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.