Idris 2 grammar for tree-sitter.
Tested with the official libs.
This has not been tested with Idris 1.
How to Use with Helix Editor
Add the following in ~/.config/helix/languages.toml:
[[grammar]]
name = "idris"
source = { git = "https://github.com/kayhide/tree-sitter-idris", rev = "c3ab3a95415d9807038f6ed026617cb44328f1c3" }The rev value may be updated.
To obtain the current rev from a repository, use the following command:
> git rev-parse HEADCopy the queries:
> mkdir -p "$HELIX_CONFIG_QUERIES/idris"
> cp queries/* "$HELIX_CONFIG_QUERIES/idris"HELIX_CONFIG_QUERIES is typically located at "~/.config/helix/runtime/queries".
Then, let the Helix Editor build it:
> hx --grammar fetch
> hx --grammar build