Rachel Lambda Samuelsson 4f65cde626 add agda as flake		2023-10-12 23:24:36 +02:00
..
configuration.nix	add agda as flake	2023-10-12 23:24:36 +02:00
hardware-configuration.nix	switch to flake based config	2023-07-31 14:18:24 +02:00