Commit Graph

5 Commits

Author SHA1 Message Date
a78febec6c Highlight current node 2023-11-12 17:26:31 +01:00
0acc4dbba4 Add agda, nix 2023-11-12 14:36:27 +01:00
d62b1657c3 Try to load language for --do-you-understand 2023-11-12 11:42:22 +01:00
169380d8bc Update tree-sitter 2023-11-12 11:41:49 +01:00
f193be1731 First commit 2023-11-12 00:21:50 +01:00