tree-sitter-idris

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

Language configuration

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 HEAD

Queries

Copy 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".

Build

Then, let the Helix Editor build it:

> hx --grammar fetch
> hx --grammar build