youthlic/nixos
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

modify helix package and add idris tree-sitter integration

Browse source
This commit is contained in:
ulic-youthlic 2025-02-05 00:07:13 +08:00
parent 5fefe07d75
commit 8596be2dab
Signed by: youthlic
GPG key ID: 63E86C3C14A0D721
4 changed files with 116 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
pkgs/helix/grammars/idris.nix Normal file
View file

@ -0,0 +1,6 @@
{
name = "idris";
owner = "kayhide";
repo = "tree-sitter-idris";
rev = "c56a25cf57c68ff929356db25505c1cc4c7820f6";
}