Commit Graph

3 Commits

Author SHA1 Message Date
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