agdaPackages.standard-library
standard-library 2.3
Standard library for use with the Agda compiler
https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibraryMIT License
programs: -
Maintainers
Platforms (45)
microblaze-linuxriscv32-linuxarmv7a-linuxarmv7l-netbsdarmv7l-linuxmips64-linuxriscv64-linuxx86_64-netbsd
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agdaPackages.standard-library ];
Ad-hoc shell
nix-shell -p agdaPackages.standard-library
Flake (nix run)
nix run nixpkgs#agdaPackages.standard-library