mirrors/doomemacs
1
Fork 0
mirror of https://github.com/doomemacs/doomemacs.git synced 2025-12-28 12:52:11 -08:00
Code Issues Projects Releases Wiki Activity
doomemacs/modules/lang/agda
History
Jeetaditya Chatterjee 7f814e5d99
refactor(:lang): redo tree-sitter hooks 
- bind to major-mode-local-vars-hook instead of major mode hook
- bind the autodef tree-sitter! instead of the functions.
2022-05-22 21:26:08 +01:00
..
config.el refactor(:lang): redo tree-sitter hooks 2022-05-22 21:26:08 +01:00
doctor.el docs(tree-sitter): add doctor checks for flag 2022-05-22 21:26:00 +01:00
packages.el bump: :lang 2022-03-31 21:09:38 +02:00
README.org Fix wiki for agda 2019-09-06 12:39:25 +09:00

README.org

:lang agda

This module adds support for the agda programming language. The Emacs support exists directly in the agda repository but not in melpa.