Henri Dohmen 97134ce956 maintenance		2025-11-01 11:58:11 +01:00
..
default.nix	maintenance	2025-11-01 11:58:11 +01:00
development.nix	more agda	2025-10-30 16:35:15 +01:00