4 Commits (main)

Author	SHA1	Message	Date
xenia	662bcbc908	Remove unused logging	2023-12-19 12:00:44 +01:00
xenia	0acc4dbba4	Add agda, nix	2023-11-12 14:36:27 +01:00
xenia	169380d8bc	Update tree-sitter	2023-11-12 11:41:49 +01:00
xenia	f193be1731	First commit	2023-11-12 00:21:50 +01:00