https://github.com/kayhide/tree-sitter-idris

https://github.com/kayhide/tree-sitter-idris

Last synced: about 1 month ago
JSON representation

• Host: GitHub
• URL: https://github.com/kayhide/tree-sitter-idris
• Owner: kayhide
• License: mit
• Created: 2024-05-21T14:04:48.000Z (7 months ago)
• Default Branch: main
• Last Pushed: 2024-11-01T06:45:45.000Z (about 2 months ago)
• Last Synced: 2024-11-01T07:25:37.417Z (about 2 months ago)
• Language: C
• Homepage:
• Size: 17.9 MB
• Stars: 2
• Watchers: 2
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# tree-sitter-idris

[Idris 2](https://github.com/idris-lang/Idris2) grammar for 

[tree-sitter](https://github.com/tree-sitter/tree-sitter).

Tested with the [official libs](https://github.com/idris-lang/Idris2/tree/main/libs).

This has not been tested with Idris 1.

## How to Use with [Helix Editor](https://helix-editor.com/)

### Language configuration

Add the following in `~/.config/helix/languages.toml`:

```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:

```console

> git rev-parse HEAD

```

### Queries

Copy the queries:

```console

> 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:

```console

> hx --grammar fetch

> hx --grammar build

```