agdaPackages.agda-prelude
agda-prelude 0-unstable-2024-08-22
Programming library for Agda
https://github.com/UlfNorell/agda-preludeMIT License
programs: -
Maintainers
Platforms (46)
armv5tel-linuxs390x-linuxriscv32-netbsdmips64-linuxarmv7a-netbsdi686-openbsdriscv32-linuxmicroblaze-linux
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ agdaPackages.agda-prelude ];
Ad-hoc shell
nix-shell -p agdaPackages.agda-prelude
Flake (nix run)
nix run nixpkgs#agdaPackages.agda-prelude