6 lines
125 B
Nix
6 lines
125 B
Nix
{
|
|
name = "idris";
|
|
owner = "kayhide";
|
|
repo = "tree-sitter-idris";
|
|
rev = "c56a25cf57c68ff929356db25505c1cc4c7820f6";
|
|
}
|