Directory listing for /.codesphere-internal/nix/store/4fsaxffbala42sz17sj31rn87f96770y-nixpkgs/nixpkgs/pkgs/development/libraries/agda/

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