emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
doomemacs/modules/lang/agda
History
Jeetaditya Chatterjee 06ed5ade3f
refactor!(tree-sitter): add +tree-sitter flag 
BREAKING CHANGE: break the global nature of the tree sitter
module by adding a +tree-sitter flag to every applicable module

In the background this hooks turn-on-tree-sitter-mode
to the major-mode-hook of the language.
This may also solve the eager loading of tree sitter
2022-05-22 21:26:00 +01:00
..
config.el refactor!(tree-sitter): add +tree-sitter 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.