tree-sitters/agda
2023-11-11 23:27:21 +01:00
..
examples Add agda, bash, c, nix, python and rust 2023-11-11 23:27:21 +01:00
src Add agda, bash, c, nix, python and rust 2023-11-11 23:27:21 +01:00
grammar.js Add agda, bash, c, nix, python and rust 2023-11-11 23:27:21 +01:00
LICENSE Add agda, bash, c, nix, python and rust 2023-11-11 23:27:21 +01:00