agdaPackages.agda-categories
agda-categories 0.3.0
New Categories library
https://github.com/agda/agda-categoriesBSD 3-clause "New" or "Revised" License
programs: -
Platforms (45)
aarch64-darwinx86_64-solarisarmv7a-linuxx86_64-linuxmips64el-linuxmipsel-linuxloongarch64-linuxsh4-linux
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agdaPackages.agda-categories ];
Ad-hoc shell
nix-shell -p agdaPackages.agda-categories
Flake (nix run)
nix run nixpkgs#agdaPackages.agda-categories