tree-sitter-grammars: Add koka

This commit is contained in:
Akira Komamura 2023-11-12 16:58:58 +09:00
parent 4f1e887ee0
commit 336269c419
3 changed files with 17 additions and 0 deletions

View file

@ -51,6 +51,7 @@
tree-sitter-jsonnet = lib.importJSON ./tree-sitter-jsonnet.json;
tree-sitter-julia = lib.importJSON ./tree-sitter-julia.json;
tree-sitter-just = lib.importJSON ./tree-sitter-just.json;
tree-sitter-koka = lib.importJSON ./tree-sitter-koka.json;
tree-sitter-kotlin = lib.importJSON ./tree-sitter-kotlin.json;
tree-sitter-latex = lib.importJSON ./tree-sitter-latex.json;
tree-sitter-ledger = lib.importJSON ./tree-sitter-ledger.json;

View file

@ -0,0 +1,12 @@
{
"url": "https://github.com/mtoohey31/tree-sitter-koka",
"rev": "96d070c3700692858035f3524cc0ad944cef2594",
"date": "2024-01-21T20:56:11-05:00",
"path": "/nix/store/n0cy7vhsiw6i2s9i2hzwcm0ddj7d4ffi-tree-sitter-koka",
"sha256": "1bxmflc8ynqpdkzwc74fqqcjhzkggkzxbzhbx0ji4g7kfknc0ldk",
"hash": "sha256-s1HA7HTzPBIl6Av+1f98b34oGcaOHMb/bBdbjxh1ta8=",
"fetchLFS": false,
"fetchSubmodules": false,
"deepClone": false,
"leaveDotGit": false
}

View file

@ -417,6 +417,10 @@ let
orga = "gleam-lang";
repo = "tree-sitter-gleam";
};
"tree-sitter-koka" = {
orga = "mtoohey31";
repo = "tree-sitter-koka";
};
};
allGrammars =