Commit Graph

4 Commits

Author SHA1 Message Date
662bcbc908 Remove unused logging 2023-12-19 12:00:44 +01:00
0acc4dbba4 Add agda, nix 2023-11-12 14:36:27 +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