Directory listing for /.codesphere-internal/nix-home/.nix-defexpr/channels/nixpkgs/pkgs/development/libraries/agda/

• 1lab/
• agda-categories/
• agda-prelude/
• agda2hs-base/
• agdarsec/
• cubical/
• cubical-mini/
• functional-linear-algebra/
• generics/
• iowa-stdlib/
• standard-library/