2025-03-11 23:11:01 +08:00
|
|
|
[juicity]
|
|
|
|
|
src.git = "https://github.com/juicity/juicity"
|
|
|
|
|
fetch.git = "https://githuh.com/juicity/juicity"
|
2025-03-11 23:49:16 +08:00
|
|
|
|
|
|
|
|
[tree-sitter-idris]
|
|
|
|
|
src.git = "https://github.com/kayhide/tree-sitter-idris"
|
|
|
|
|
fetch.git = "https://github.com/kayhide/tree-sitter-idris"
|
|
|
|
|
passthru.name = "idris"
|
