mirror of
https://github.com/doomemacs/doomemacs
synced 2025-08-01 12:17:25 -05:00
7f814e5d99
- bind to major-mode-local-vars-hook instead of major mode hook - bind the autodef tree-sitter! instead of the functions.
:lang agda
This module adds support for the agda programming language. The Emacs support exists directly in the agda repository but not in melpa.