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)
x86_64-cygwinaarch64-darwinx86_64-solarissh4-linuxm68k-netbsdx86_64-netbsdi686-openbsdmips64-linux
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