Henri Dohmen e3c5ca4855 zulip		2025-11-17 15:40:38 +01:00
..
default.nix	zulip	2025-11-17 15:40:38 +01:00
development.nix	more agda	2025-10-30 16:35:15 +01:00