3 commits

Author	SHA1	Message	Date
Leon Vatthauer	173f6e446b	switch to vscodium	2024-02-25 21:03:35 +01:00
Leon Vatthauer	8632688d6c	update agda-mode vscode extension	2024-02-21 13:33:07 +01:00
Leon Vatthauer	1c853edcab	initial commit after purge	2024-02-16 13:59:46 +01:00