You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Whenever I open an .agda/.agda-lib file, the agda filetype is not detected, and hence the tree-sitter-agda (which is correctly installed) is not enabled on the buffer.
If I use :set filetype agda, the agda filetype seems to be never have been defined.
If I manually enable tree-sitter-agda via :TSEnable, nothing happens (no syntax highlighting).
The text was updated successfully, but these errors were encountered:
Whenever I open an
.agda/.agda-libfile, theagdafiletype is not detected, and hence the tree-sitter-agda (which is correctly installed) is not enabled on the buffer.If I use
:set filetype agda, theagdafiletype seems to be never have been defined.If I manually enable tree-sitter-agda via
:TSEnable, nothing happens (no syntax highlighting).The text was updated successfully, but these errors were encountered: