Skip to content

simplify lib.nix

simplify lib.nix #322

Typecheck with Agda with nix (containers-lib)

succeeded Nov 29, 2025 in 2m 55s