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 (46)
x86_64-cygwinm68k-netbsds390-linuxx86_64-darwinx86_64-openbsdmips-linuxmips64-linuxm68k-linux
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