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)
mipsel-netbsdpowerpc64-linuxaarch64-freebsdmips-linuxi686-netbsdmicroblazeel-linuxmips64el-linuxs390-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