awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-29 14:33:34 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
2279a42c50109d4e4adf2be7ed922ad8d0bd21e1
doomemacs/modules/lang/agda/config.el
Henrik Lissner b66ccaeca0 fix(agda): tree-sitter compatibility with agda2-mode 
Tree-sitter-lang recognized agda-mode, but not agda2-mode.
2022-09-10 18:36:24 +02:00

1.6 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink