emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
doomemacs/modules/lang/agda
History
Henrik Lissner 76cacb5bfe
💥 Rename def-package! -> use-package! 
Calling this pivotal macro "def-package!" has frequently been a source
of confusion. It is a thin wrapper around use-package, and it should be
obvious that it is so. For this reason, and to match the naming
convention used with other convenience macros/wrappers, it is now
use-package!.

Also changes def-package-hook! -> use-package-hook!

The old macros are now marked obsolete and will be removed when straight
integration is merged.
2019-07-23 12:50:45 +02:00
..
config.el 💥 Rename def-package! -> use-package! 2019-07-23 12:50:45 +02: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.