7 Commits

Author	SHA1	Message	Date
Rachel Lambda Samuelsson	485a6fcd5f	update lockfile	2023-10-15 21:52:21 +02:00
Rachel Lambda Samuelsson	4f65cde626	add agda as flake	2023-10-12 23:24:36 +02:00
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
Rachel Lambda Samuelsson	5817aafd3b	updated nixpkgs version	2023-09-01 10:45:09 +02:00
Rachel Lambda Samuelsson	a123f87b22	switch to flake based config	2023-07-31 14:18:24 +02:00