Index of /src/tree-sitter-agda-1.3.3/

../
bindings/                                          12-Nov-2024 08:23                   -
queries/                                           12-Nov-2024 08:23                   -
src/                                               12-Nov-2024 08:23                   -
Cargo.toml                                         01-Jan-1970 00:00                1267
Cargo.toml.orig                                    24-Jul-2006 01:21                 656
README.md                                          24-Jul-2006 01:21                1400
grammar.js                                         24-Jul-2006 01:21               26973
tree-sitter.json                                   24-Jul-2006 01:21                 718