agdaPackages.iowa-stdlib
iowa-stdlib 1.5.0
Agda standard library developed at Iowa
https://github.com/cedille/ialUnspecified free software license
programs: -
Platforms (46)
aarch64-freebsdx86_64-linuxpowerpc-linuxmipsel-linuxloongarch64-linuxriscv64-linuxriscv32-netbsdx86_64-darwin
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agdaPackages.iowa-stdlib ];
Ad-hoc shell
nix-shell -p agdaPackages.iowa-stdlib
Flake (nix run)
nix run nixpkgs#agdaPackages.iowa-stdlib