7f814e5d99
- bind to major-mode-local-vars-hook instead of major mode hook - bind the autodef tree-sitter! instead of the functions. |
||
|---|---|---|
| .. | ||
| config.el | ||
| doctor.el | ||
| packages.el | ||
| 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.