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 (46)
aarch64-freebsdarmv6l-netbsdmipsel-linuxarmv7a-netbsdarmv7l-linuxm68k-netbsdmipsel-netbsdpowerpc-netbsd
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