6 Commits

Author	SHA1	Message	Date
Rachel Lambda Samuelsson	f6f49c964d	cornelis for agda mode in neovim	2023-10-06 12:01:35 +02:00
Rachel Lambda Samuelsson	99232cfe9f	remove julia2nix	2023-10-06 01:12:55 +02:00
Rachel Lambda Samuelsson	6cc6bd37cc	julia2nix	2023-09-12 21:36:52 +02:00
depsterr	51f30e487c	added desktop (computational)	2023-08-19 16:58:57 +02:00
Rachel Lambda Samuelsson	20dfde5bd0	remove rec from flake	2023-07-31 14:27:24 +02:00
Rachel Lambda Samuelsson	a123f87b22	switch to flake based config	2023-07-31 14:18:24 +02:00