agdaPackages.iowa-stdlib
iowa-stdlib 1.5.0
Agda standard library developed at Iowa
https://github.com/cedille/ialUnspecified free software license
programs: -
Platforms (45)
i686-netbsdmicroblazeel-linuxriscv64-linuxarmv6l-linuxriscv32-linuxloongarch64-linuxpowerpc64le-linuxi686-cygwin
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